Skip to content

C
cwe_checker
Unverified Commit 3a76dfaf by Enkelmann Committed by GitHub
Options

more exact address reporting for CWE 676 (#113)

parent 64238b18
Showing with 1 additions and 1 deletions
src/checkers/cwe_676.ml
...@@ -13,7 +13,7 @@ let get_call_to_target _cg callee target = ...@@ -13,7 +13,7 @@ let get_call_to_target _cg callee target =
| Goto _ | Ret _ | Int (_,_) -> None | Goto _ | Ret _ | Int (_,_) -> None
| Call dst -> match Call.target dst with | Call dst -> match Call.target dst with
| Direct tid when tid = (Term.tid target) -> | Direct tid when tid = (Term.tid target) ->
Some (Term.name callee, Term.tid blk, Term.name target) Some (Term.name callee, Term.tid j, Term.name target)
| _ -> None)) | _ -> None))
let get_calls_to_symbols cg subfunctions symbols = let get_calls_to_symbols cg subfunctions symbols =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment