Keyword:static analysis

Papers
Analyzing JavaScript Programs Using Octagon Domain Nabil Almashfi and Lunjin Lu In:Proceedings of 34th International Conference on Computers and Their Applications
Automatic Space Bound Analysis for Functional Programs with Garbage Collection Yue Niu and Jan Hoffmann In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Future Mechanism and Information Flow Security Farzane Karami, Christian Johansen, Olaf Owe and Gerardo Schneider EasyChair Preprint no. 499
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 98
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel In:Automated Formal Methods
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations Antoine Miné In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. Rachid Rebiha, Nadir Matringe and Arnaldo Moura In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Tropical linear programming and parametric mean payoff games Stéphane Gaubert, Ricardo D. Katz and Sergei Sergeev In:WING 2010. Workshop on Invariant Generation 2010
Loopfrog — loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger In:WING 2010. Workshop on Invariant Generation 2010