Skip to content
  • Anna Zaks's avatar
    [analyzer] Add support for taint flowing through a function (atoi). · 3b0ab206
    Anna Zaks authored
    Check if the input parameters are tainted (or point to tainted data) on
    a checkPreStmt<CallExpr>. If the output should be tainted, record it in
    the state. On post visit (checkPostStmt<CallExpr>), use the state to
    make decisions (in addition to the existing logic). Use this logic for
    atoi and fscanf.
    
    llvm-svn: 146793
    3b0ab206
Loading