25 citations · 26 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 1 cited
Context Generation from Formal Specifications for C Analysis Tools
Michele Alberti, Julien Signoles
Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function.…
cs.PL2016★ 25 cited
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf, David A. Naumann, Julien Signoles +2
We show how static analysis for secure information flow can be expressed and proved correct entirely within the framework of abstract interpretation. The key idea is to define a Ga…