Search-driven string constraint solving for vulnerability detection.
Julian ThoméLwin Khin SharDomenico BianculliLionel C. BriandPublished in: ICSE (2017)
Keyphrases
- constraint solving
- constraint solver
- constraint propagation
- constraint logic programming
- search algorithm
- search strategy
- object detection
- constraint satisfaction problems
- data structure
- search space
- false positives
- constraint satisfaction
- tree search
- finite domain
- database systems
- context free grammars
- constraint programming
- database design