Keyword:static analysis

Publications
Mobile App Privacy Analysis Vivek Reddy, Madhusudhan Reddy, Chaitanya Kumar Reddy and S Vikas EasyChair Preprint 11290
A Formal Model of Checked C Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn and Michael Hicks EasyChair Preprint 8764
NodeSRT: A Selective Regression Testing Tool for Node.js Application Yufeng Chen Chen EasyChair Preprint 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 5165
Design Optimization of Aircraft Fuel Tank by Finite Element Analysis Yaragarla Vinod Kumar and S Shailesh Babu EasyChair Preprint 5054
Advance Malware Analysis Using Static And Dynamic Methodology Saurabh Chaudhary EasyChair Preprint 3373
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis Zihan Zhou, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint 3332
CWE Pattern Recognition Algorithm in Any-Language Source Code Sergiu Zaharia EasyChair Preprint 2147
An abstract domain for objects in dynamic programming languages Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni EasyChair Preprint 1501
The Future Mechanism and Information Flow Security Farzane Karami, Christian Johansen, Olaf Owe and Gerardo Schneider EasyChair Preprint 499
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint 98
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R Govind, Harshit Jitendra Motwani and Sai Teja Varanasi In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automatic Detection of Vulnerable Variables for CTL Properties of Programs Naïm Moussaoui Remil, Caterina Urban and Antoine Miné In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
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 Vieira Moura In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
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
Tropical linear programming and parametric mean payoff games Stephane Gaubert, Ricardo Katz and Sergei Sergeev In:WING 2010. Workshop on Invariant Generation 2010