ICSE 2022 (series) / DEMO - Demonstrations /
SymInfer: Inferring Numerical Invariants using Symbolic States
Tue 10 May 2022 11:30 - 11:45 at ICSE Demo room 1 - Validation and Verification Chair(s): Allison Sullivan
We demonstrate the implementation and usage of SymInfer, a tool that automatically discovers numerical invariants using concrete and symbolic states collected from dynamic and symbolic executions. SymInfer supports expressive invariants under various forms, including nonlinear equalities, octagonal inequalities, and disjunctive min/max invariants. Experimental results show that SymInfer is effective in generating complex invariants and can often discover unknown yet useful program properties.
Video demo: \textbf{\url{https://www.youtube.com/watch?v=VEuhJw1RBUE}}.
Tue 10 MayDisplayed time zone: Eastern Time (US & Canada) change
Tue 10 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:00 | Validation and VerificationDEMO - Demonstrations at ICSE Demo room 1 Chair(s): Allison Sullivan The University of Texas at Arlington | ||
11:00 15mDemonstration | ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts DEMO - Demonstrations Kunjian Song The University of Manchester, Nedas Matulevicius University of Manchester, UK, Eddie Lima Samsung Electronics, Brazil, Lucas C. Cordeiro University of Manchester Pre-print Media Attached | ||
11:15 15mDemonstration | DScribe: Co-generating Unit Tests and Documentation DEMO - Demonstrations Alexa Hernandez McGill University, Mathieu Nassif McGill University, Martin P. Robillard McGill University Link to publication Pre-print Media Attached | ||
11:30 15mDemonstration | SymInfer: Inferring Numerical Invariants using Symbolic States DEMO - Demonstrations ThanhVu Nguyen George Mason University, KimHao Nguyen University of Nebraska-Lincoln, Hai Duong Independent Researcher | ||
Information for Participants
Tue 10 May 2022 11:00 - 12:00 at ICSE Demo room 1 - Validation and Verification Chair(s): Allison Sullivan
Info for room ICSE Demo room 1: