Name |
Last commit
|
Last update |
---|---|---|
.. | ||
analysis | Cwe476 (#47) | |
checkers | Cwe476 (#47) | |
utils | Address translation (#62) | |
Makefile | Bap2.0 (#49) | |
cwe_checker_unit_tests.ml | Address translation (#62) | |
dune | Bap2.0 (#49) |
Change the address translation function so that we are able to report more precise incident locations.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
analysis | Cwe476 (#47) | |
checkers | Cwe476 (#47) | |
utils | Address translation (#62) | |
Makefile | Bap2.0 (#49) | |
cwe_checker_unit_tests.ml | Address translation (#62) | |
dune | Bap2.0 (#49) |