Books
Research
- Static Analysis Symposia Central Site
- A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World
- Communications of the ACM, Vol. 53 No. 2, 2010
- Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, Dawson Engler
- https://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext
- Automated Program Transformation for Improving Software Quality
- How to Build Static Checking Systems Using Orders of Magnitude Less Code
- Lessons from Building Static Analysis Tools at Google
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
- Scaling Static Analyses at Facebook
- Source Language Representation of Function Summaries in Static Analysis
- Tailoring Programs for Static Analysis via Program Transformation
- Toward Full Elasticity in Distributed Static Analysis
- Undecidability of static analysis
- ACM Letters on Programming Languages and Systems (LOPLAS) Volume 1 Issue 4, Dec. 1992
- William Landi
- https://dl.acm.org/citation.cfm?id=161501
- "Two fundamental static-analysis problems are may alias and must alias. The former is not recursive (is undecidable), and the latter is not recursively enumerable (is uncomputable), even when all paths are executable in the program being analyzed for languages with if statements, loops, dynamic storage, and recursive data structures."
Tags:
language
native
object
metaobject
reading
Last modified 16 December 2024