A Set of Logic Bombs

This repository contains a set of artificial logic bombs following our DSN paper, Concolic Execution on Small-Size Binaries: Challanges and Empirical Study. A major purpose of the bomb is to test the capability of symbolic/concolic execution tools.

Lists of enclosed bomb techniques

In our paper, we propose several accuracy challenges and scalability challenges for concolic execution tools. The logic bombs are designed leveraging the chllenges.

Accuracy Challanges

Context Symbolic Variable
Covert Symbolic Propagation
Parallel Program
Symbolic Array
Symbolic Jump
Symbolic Context Variable
Floating-point Number

Scalability Challanges

External Function Call
Crypto Function

Installation

#:git clone https://github.com/hxuhack/logic_bombs.git
#:mkdir build
#:cd build
#:cmake ..

More Tips

Enable ping: sudo sysctl -w net.ipv4.ping_group_range='0 10'