search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
943 stars 142 forks source link

F model dataflow for libraries #731

Closed bulletSpace closed 1 month ago

bulletSpace commented 3 months ago

This implements a data structure to store data flow information for functions. Given a function name and the index of the parameter under consideration, the data structure returns data flow information concerning this parameter. Additionally approximated data flow information for a subset of glib functions are provided