Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++
Static analysis tools can aid programmers by reporting potential programming mistakes prior to the execution of a program. Funqual is a static analysis tool that reads C++17 code ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the use...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
DigitalCommons@CalPoly
2018
|
| Subjects: | |
| Online Access: | https://digitalcommons.calpoly.edu/theses/1848 https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=3256&context=theses |