shivansh/bugLocalization

Simultaneous identification of multiple bugs. Course project for Data-driven Program Analysis (CS686).

C

Simultaneous identification of multiple bugs

Implementation overview

The instrumentation framework is imported from and built on top of shivansh/branchCorrelations.
The testing framework is imported from and built on top of shivansh/CS425.

Dependencies

Rose compiler

Instructions

Instrumentation step

Update the shared library path appropriately.
For e.g. in my machine -
```
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$rose_dir/lib
```
For more details, refer the Rose installation guide.
Within instrumentation/, execute -
```
make
```
This will instrument the client-server files available at instrumentation/testcases/ftp/.

Collecting predicate values

Build the client-server framework from instrumentation/testcases/ftp/ -
```
make
```
NOTE: Ignore the generated warnings.
Start the server from instrumentation/testcases/ftp/ -
```
./server_exe <server_ip> <server_port>
```
Within instrumentation/, execute -
```
./main.sh <server_ip> <server_port>
```

Drawing inferences from the collected data

Execute the following from inference/ -

python infer.py

References and Acknowledgements

This project is loosely based on the work done in Statistical Debugging: Simultaneous Identification of Multiple Bugs.