KLEE Workshop 2022

Poster: SIFT: A Multithreading Extension to KLEE
Tuba Yavuz
Toward Automatic Test Synthesis for Performance Portable Programs
Keita Teranishi, Shyamali Mulkherjee, Richard Rutledge, Samuel Pollard, Nicolas Morales, Noah Evans, Alessandro Orso and Vivek Sarkar
A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar Itzhaky
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske and Abhik Roychoudhury
Complex Test Input Generation in KLEE
Alexey Babushkin, Aleksandr Misonizhnik and Dmitry Mordvinov
Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffer, Rasool Maghareh and Arpita Dutta
Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models
Sören Tempel, Vladimir Herdt and Rolf Drechsler
(Auto)Chopper in the Wild
Martin Nowack, Jordy Ruiz, Ahmed Zaki and Cristian Cadar
Poster: Automated Patch Transplantation
Ridwan Shariffdeen, Shin Hwei Tan, Mingyuan Gao and Abhik Roychoudhury
Poster: Address-Aware Query Caching for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar Itzhaky
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb
Poster: UTBot Simplifies Auto Test Generation
Vladislav Kalugin, Pavel Iatchenii, Samat Gaynutdinov, Saveliy Grigoryev, Svetlana Shmidt, Alexey Utkin, Dmitry Ivanov, Aleksei Pleshakov, Vadim Volodin, Elena Ilina, Pavel Ponomarev and Konstantin Rybkin
Pruning the Recursive States in KLEE
Aleksandr Misonizhnik, Alexey Babushkin and Dmitry Mordvinov
Controlling Side Effects in Program Repair using Symbolic Execution
Nikhil Parasaram, Earl Barr and Sergey Mechtaev
Poster: A Tight Integration of Symbolic Execution and Fuzzing
Sebastien Bardin, Michaël Marcozzi and Yaelle Vincont
Poster: Symbolic Execution Projects from the Software Reliability Group
Cristian Cadar, Frank Busse, Martin Nowack, Jordy Ruiz, Daniel Schemmel and Ahmed Zaki
Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations
Richard Rutledge, Alessandro Orso and Keita Teranishi
Symbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox
Robin David, Christian Heitman and Richard Abou Chaaya
Poster: Enabling Continuous Large Scale Software Engineering Experimentation in the Cloud
Jonathan Bell, Christopher Timperley, Michael Hilton and Lauren Herckis
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Timotej Kapus, Frank Busse and Cristian Cadar
Testing Debug Info of Optimised Programs
J. Ryan Stinnett and Stephen Kell
Quantum Accelerated Symbolic Execution
Christoph Kirsch and Stefanie Muroya Lei
Learning to Explore Paths for Symbolic Execution
Jingxuan He, Gishor Sivanrupan, Petar Tsankov and Martin Vechev
SymDefFix - Sound Automatic Repair Using Symbolic Execution
Tareq Mohammed Nazir and Martin Pinzger
Poster: Extending KLEE’s Environment Model for Network Applications
Jeroen Robben and Mathy Vanhoef
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson and Kostis Sagonas
Fuzzing Symbolic Expressions
Emilio Coppa
CONFETTI: Amplifying Concolic Guidance for Fuzzers
James Kucuka, Luís Pina, Paul Ammann and Jonathan Bell
Finding Real Bugs in Big Programs with Incorrectness Logic
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer and Peter W. O’Hearn
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian Cadar
Poster: Inline Assembly Support
Mikhail Petrochenkov and Dmitry Ivanov
Poster: Detection of Undefined Behavior Using KLEE
Pavel Iatchenii
Analyzing System Software Components Using API Model Guided Symbolic Execution
Tuba Yavuz and Ken Yihang Bai
Poster: Combining Static Analysis Error Traces with Dynamic Symbolic Execution
Frank Busse, Pritam Gharat, Cristian Cadar and Alastair F. Donaldson