Skip to content

C
cwe_checker
Switch branch/tag
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.021Apr201915131224Mar2394117Feb121110983127Jan26201813128718Dec171411103230Nov242318171611105438Sep43228Aug276530Jul2928272116929Jun815May1428Apr518Mar1614Feb1328Jan2721131020Dec6426Nov2511Sep521Aug231Jul3029241918426Jun251918171416Apr15529Mar22Feb218528Jan22211822Nov211279Oct8Fix implicit load in indirect calls (#168)mastermasterCallee saved return targets in CWE78 check (#167)add a widening delay to IntervalDomain (#166)Bugfixes (#165)Parse strings from Runtime Memory Image (#164)Fix missing field tid bug (#163)Use conditional branches to restrict value sets of variables (#159)Runtime optimizations for CWE 78 check (#154)Bugfix function entry points (#160)Use IntervalDomain in Pointer Inference analysis (#158)improve documentation (#155)implement an abstract interval domain (#152)CWE560: better bounds for sane umask arguments (#153)parse indirect jump targets from Ghidra (#151)Remove Ocaml caller code (#150)Remove BAP parsing code (#149)Remove old ocaml code (#148)provide control flow graph independently of pointer inference analysis (#146)Fix pcode mnemonic parsing for CEIL and FLOOR (#147)Speed up communication between Ghidra and cwe_checker (#145)Parse bitvectors larger than 64 bits (#144)add check for CWE 78: OS Command Injection (#130)Correctly deserialize FLOAT_ROUND p-code operations (#143)better error messages on failed Ghidra execution (#140)Substitute more trivial expressions with their results (#138)Remove deprecated check from Readme (#137)change base image of dockerfile (#134)Bugfix Stack Register Computation (#135)Small improvements (#136)Handle global memory in pointer inference analysis (#133)Repair cross compiling Docker image for acceptance tests (#132)Add runtime memory image representation (#131)Add address_base_offset field to Program struct (#129)Switch default backend to Ghidra (#128)Fix formatting error (#127)Add Github actions for unit and acceptance tests (#126)add GitHub actions for Rustfmt and clippy (#125)move the new_top() function to the HasByteSize trait. (#124)Backward analysis trait (#123)Update CHANGES.md