Search results

svf-tools

* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.

• static-analysis
• static-value-flow
• source-code-analysis
• code-security
• pointer-analysis
• llvm
• dependency-analysis

svf-tools

• 1.0.1016 • a day ago • 0 dependents • ISCpublished version 1.0.1016, a day ago0 dependents licensed under $ISC

svf-tools-tester

* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.

• static-analysis
• static-value-flow
• source-code-analysis
• code-security
• pointer-analysis
• llvm
• dependency-analysis

jasonzhongzexin

• 1.0.6 • 4 years ago • 0 dependents • ISCpublished version 1.0.6, 4 years ago0 dependents licensed under $ISC

taiekit

Save your life when using Tai-e

• tai-e
• static-analysis
• pointer-analysis
• java
• debug
• cli

yjl9903

• 0.0.1 • 2 years ago • 0 dependents • MITpublished version 0.0.1, 2 years ago0 dependents licensed under $MIT