iframe-proxy | Sunbelt Computer Software

112 lines (103 loc) · 3.31 KB

 * Provides default predicates that specify information about
 * the behavior of the program being analyzed.
 * This can be overridden for particular code bases in `Options.qll`.
import semmle.code.cpp.controlflow.Dataflow
import semmle.code.cpp.commons.Synchronization
private import semmle.code.cpp.controlflow.internal.ConstantExprs
private import Options as CustomOptions
 * Default predicates that specify information about the behavior of
 * the program being analyzed.
class Options extends string {
  Options() { this = "Options" }
   * Holds if we wish to override the "may return NULL" inference for this
   * call. If this holds, then rather than trying to infer whether this
   * call might return NULL, we will instead test whether `returnsNull`
   * holds for it.
   * By default, this handles the `Xstrdup` function used by the CVS
   * project.
  predicate overrideReturnsNull(Call call) {
    // Used in CVS:
    call.(FunctionCall).getTarget().hasGlobalName("Xstrdup")
    CustomOptions::overrideReturnsNull(call) // old Options.qll
   * Holds if this call may return NULL. This is only used if
   * `overrideReturnsNull` holds for the call.
   * By default, this handles the `Xstrdup` function used by the CVS
   * project.
  predicate returnsNull(Call call) {
    // Used in CVS:
    call.(FunctionCall).getTarget().hasGlobalName("Xstrdup") and
    nullValue(call.getArgument(0))
    CustomOptions::returnsNull(call) // old Options.qll
   * Holds if a call to this function will never return.
   * By default, this holds for `exit`, `_exit`, `abort`, `__assert_fail`,
   * `longjmp`, `__builtin_unreachable` and any function with a
   * `noreturn` attribute.
  predicate exits(Function f) {
    f.getAnAttribute().hasName("noreturn")
    f.hasGlobalOrStdName([
        "exit", "_exit", "abort", "__assert_fail", "longjmp", "__builtin_unreachable"
    CustomOptions::exits(f) // old Options.qll
   * Holds if evaluating expression `e` will never return, or can be assumed
   * to never return.  For example:
   *   __assume(0);
   * (note that in this case if the hint is wrong and the expression is reached at
   * runtime, the program's behaviour is undefined)
  predicate exprExits(Expr e) {
    e.(AssumeExpr).getChild(0).(CompileTimeConstantInt).getIntValue() = 0 or
    CustomOptions::exprExits(e) // old Options.qll
   * Holds if function `f` should always have its return value checked.
   * By default holds only for `fgets`.
  predicate alwaysCheckReturnValue(Function f) {
    f.hasGlobalOrStdName("fgets") or
    CustomOptions::alwaysCheckReturnValue(f) // old Options.qll
   * Holds if it is reasonable to ignore the return value of function
   * call `fc`.
   * By default holds for calls to `select` where the first argument is
   * `0` (commonly used as a way of sleeping), and any call inside a
   * macro expansion.
  predicate okToIgnoreReturnValue(FunctionCall fc) {
    fc.isInMacroExpansion()
    // common way of sleeping using select:
    fc.getTarget().hasGlobalName("select") and
    fc.getArgument(0).getValue() = "0"
    CustomOptions::okToIgnoreReturnValue(fc) // old Options.qll
Options getOptions() { any() }

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sunbelt Computer Software

PL/B Language Development and Support

FilesExpand file tree

DefaultOptions.qll

Latest commit

History

DefaultOptions.qll

File metadata and controls