Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Thu 14 Nov 2019 14:00 - 14:20 at Cortez 1 - Program Analysis Chair(s): Coen De Roover

Dynamic Symbolic Execution (DSE) has seen a rise of its popularity as it allows to check applications for specific behaviours like error patterns automatically. One of its biggest challenges is the state space explosion problem: DSE tries to evaluate all possible execution paths of an application, and for every path, it needs to represent the allocated memory and its accesses. Even though different approaches have been proposed to mitigate the state space explosion problem itself, DSE still needs to represent a multitude of states in parallel to analyse them. If too many states are present, they cannot fit into memory and DSE needs to terminate them prematurely. With a more efficient representation of allocated memory, DSE can handle more states in parallel improving its performance. In this work, we introduce an enhanced, fine-grain and performant memory representation of states. Our implementation on top of the symbolic execution engine KLEE shows a significant reduction of the memory consumption of states by up to \reducedmem{} allowing to represent more states in memory more efficiently and in addition its execution time is reduced by \reducedexectime{} - a speedup of \speedup{}.

Thu 14 Nov

13:40 - 15:20: Papers - Program Analysis at Cortez 1
Chair(s): Coen De RooverVrije Universiteit Brussel
ase-2019-papers13:40 - 14:00
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Brandon PaulsenUniversity of Southern California, Chungha SungUniversity of Southern California, Peter PetersonUniversity of Minnesota Duluth, Chao WangUSC
ase-2019-papers14:00 - 14:20
Fine-grain memory object representation in symbolic execution
Martin NowackImperial College London
ase-2019-papers14:20 - 14:40
RENN: Efficient Reverse Execution with Neural-Network-assisted Alias Analysis
Dongliang MuNanjing University, Wenbo GuoThe Pennsylvania State University, Alejandro CuevasThe Pennsylvania State University, Yueqi ChenThe Pennsylvania State University, Jinxuan GaiThe Pennsylvania State University, Xinyu XingThe Pennsylvania State University, Bing MaoNanjing University, Chengyu SongUC Riverside
ase-2019-papers14:40 - 15:00
Batch Alias Analysis Pre-print
ase-2019-Demonstrations15:00 - 15:10
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark MossbergTrail of Bits, Felipe ManzanoTrail of Bits, Eric HennenfentTrail of Bits, Alex GroceTrail of Bits, Gustavo GriecoTrail of Bits, Josselin FeistTrail of Bits, Trent BrunsonTrail of Bits, Artem DinaburgTrail of Bits
Media Attached
ase-2019-Demonstrations15:10 - 15:20
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
Pavan ChittimalliTCS Research, Kritika AnandTCS Research, Shrishti PradhanTCS Research, Sayandeep MitraTCS Research, Chandan PrakashTCS Research, Rohit ShereTCS Research, Ravindra NaikTCS Research, TRDDC, India