Provides definitions related to execution of commands
Provides an abstract class for accurate alias modeling of library functions when source code is not available. To use this QL library, create a QL class extending
Provides predicates for identifying functions that wrap other functions, passing the same arguments from the outer call into the inner call. In the following example
Provides an abstract class for accurate dataflow modeling of library functions when source code is not available. To use this QL library, create a QL class extending
Provides classes and predicates for working with C/C++ code.
A function for running a command using an array of arguments. Note that FunctionWithWrappers does not support tracking multiple interesting arguments all the way to the call site.
A function for running a command using a command interpreter.
A function for running a command via varargs. Note that, at the time of writing, FunctionWithWrappers doesn’t really support varargs arguments, because it requires a finite version of interestingArg().