Keyword:static analysis

Papers
A Formal Model of Checked C Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn and Michael Hicks EasyChair Preprint no. 8764
NodeSRT: A Selective Regression Testing Tool for Node.js Application Yufeng Chen Chen EasyChair Preprint no. 5273
Potential Risk Detection System of Hyperledger Fabric Smart Contract based on Static Analysis Penghui Lv, Yu Wang, Yazhe Wang, Han Wang and Qihui Zhou EasyChair Preprint no. 5165
Design Optimization of Aircraft Fuel Tank by Finite Element Analysis Yaragarla Vinod Kumar and S Shailesh Babu EasyChair Preprint no. 5054
Advance Malware Analysis Using Static And Dynamic Methodology Saurabh Chaudhary EasyChair Preprint no. 3373
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis Zihan Zhou, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint no. 3332
CWE Pattern Recognition Algorithm in Any-Language Source Code Sergiu Zaharia EasyChair Preprint no. 2147
An abstract domain for objects in dynamic programming languages Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni EasyChair Preprint no. 1501
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