VValentin Obsttest/cwe252: memory object propagation with offset
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
test/cwe252: memory object propagation with offset Modify existing test case such that it also covers the case where a memory object from the callee must be merged into an object in the caller with a non-zero offset. Signed-off-by: Valentin Obst <valentin.obst@fkie.fraunhofer.de> | 2 年前 | |
improve worklist order for fixpoint algorithm (#212) | 4 年前 | |
test: add LKM acceptance test for cwe252 Signed-off-by: Valentin Obst <valentin.obst@fkie.fraunhofer.de> | 2 年前 | |
test/cwe252: use `-O0`, do not skip mingw We gain 4 arch-compiler pairs and loose 2 by making this change. Tests were developed with `-O2` in mind so they might not work as expected, despite reporting the correct number of warnings. I only verified correctness manually for `aarch64-clang`. Signed-off-by: Valentin Obst <valentin.obst@fkie.fraunhofer.de> | 2 年前 | |
officially kickstart v0.9 development (#449) | 2 年前 |