Posts tagged with "KLEE"

• Summary of My Google Summer of Code 2016 Project
• First Debile Plugin for KLEE Done!
• Learning sbuild and Extracting LLVM IR Files
• Modifying sbuild
• Setting up sbuild Environment for KLEE
• Started integrating KLEE into Debile
• First Debian Bug Fixed!
• Almost There with Firehosing KLEE, First Debian Bug Reported
• Unit Testing, cgroups, and Confirming Bugs
• C++ Taking Toll
• Unit Testing Interleaved with Development
• Writing Tests and LLVM-interpreting Hundreds of Programs
• Firehosing KLEE
• 2016 and C++
• KLEE: It Ain't Gonna Do Much Without Libraries
• Putting KLEE to Test
• Accepted to GSoC 2016!
• Analyzing Debian with KLEE