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.