Search results
3 packages found
* <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
published 1.0.932 16 hours ago
M
Q
P
* <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
published 1.0.6 4 years ago
M
Q
P
Save your life when using Tai-e
published 0.0.1 a year ago
M
Q
P