A survey of symbolic execution techniques
Many security and software testing applications require checking whether certain properties
of a program hold for any possible usage scenario. For instance, a tool for identifying …
of a program hold for any possible usage scenario. For instance, a tool for identifying …
Software model checking
R Jhala, R Majumdar - ACM Computing Surveys (CSUR), 2009 - dl.acm.org
Software model checking Page 1 21 Software Model Checking RANJIT JHALA University of
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …
Lessons from building static analysis tools at google
C Sadowski, E Aftandilian, A Eagle… - Communications of the …, 2018 - dl.acm.org
Lessons from building static analysis tools at Google Page 1 58 COMMUNICATIONS OF THE
ACM | APRIL 2018 | VOL. 61 | NO. 4 Lessons from Building Static Analysis Tools at Google …
ACM | APRIL 2018 | VOL. 61 | NO. 4 Lessons from Building Static Analysis Tools at Google …
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi… - NASA Formal Methods …, 2015 - Springer
For organisations like Facebook, high quality software is important. However, the pace of
change and increasing complexity of modern code makes it difficult to produce error-free …
change and increasing complexity of modern code makes it difficult to produce error-free …
S2E: A platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
Difuze: Interface aware fuzzing for kernel drivers
Device drivers are an essential part in modern Unix-like systems to handle operations on
physical devices, from hard disks and printers to digital cameras and Bluetooth speakers …
physical devices, from hard disks and printers to digital cameras and Bluetooth speakers …
From start-ups to scale-ups: Opportunities and open problems for static and dynamic program analysis
This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …
Global software engineering: The future of socio-technical coordination
JD Herbsleb - future of software engineering (FOSE'07), 2007 - ieeexplore.ieee.org
Globally-distributed projects are rapidly becoming the norm for large software systems, even
as it becomes clear that global distribution of a project seriously impairs critical coordination …
as it becomes clear that global distribution of a project seriously impairs critical coordination …
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation
V Balachandran - 2013 35th International Conference on …, 2013 - ieeexplore.ieee.org
Peer code review is a cost-effective software defect detection technique. Tool assisted code
review is a form of peer code review, which can improve both quality and quantity of reviews …
review is a form of peer code review, which can improve both quality and quantity of reviews …
The S2E platform: Design, implementation, and applications
This article presents S2E, a platform for analyzing the properties and behavior of software
systems, along with its use in developing tools for comprehensive performance profiling …
systems, along with its use in developing tools for comprehensive performance profiling …