PyCT: A Python Concolic Tester
summary
PyCT is a Python concolic tester that implements many more integer, string and range type member functions, adds automatic handling for exceptions (inserting a pre-check branch to avoid divide-by-zero), decomposes operations that SMT cannot express directly, and introduces constant upcasting to stop built-ins from throwing away symbolic data. On benchmarks PyCT raises line coverage from 71.55% (PyExZ3) to 80.20%, and further to 85.68% with upcasting, demonstrating clear improvement in explored paths and reproduced counterexamples.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 0:15What is Concolic Testing
- 2:03What does PyCT do
- 3:20Problems with PyCT
- 4:47Our Contribution
- 5:30Exception Handling
- 6:41Function Decomposition
- 7:49Constant Upcasting
- 9:08Experiment Result
