In this project, we compared a symbolic executor, KLEE, and a black box fuzzing tool, radamsa, on their ability to find memory errors.
Contributions
Jackson Trigiani: Executed and observed all three tasks on my Linux machine (also took screenshot of each task results); I answered all questions and compared answers with group.
Christian Loftis: Performed all three tasks on my virtual machine, and took screenshots of results. Created lab report with all questions answered, and compared answers with other group members.
Logan Etheredge: Successfully completed all three tasks through the virtual machine and recorded screenshots of the results. Answered all six questions and shared findings with group members.
Briana Rovelli: Completed all three tasks through the virtual machine and took screenshots for each task as well as asked the questions. Compared answers with the other group members.
Max Coughtry: Observed all three tasks on my Linux machine (also took screenshot of each task results); Reviewd answers that group members had previously finished