secure-software-engineering

secure-software-engineering

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
1.1k Stars
162 Forks
59 Watchers

Repositories (2)

phasar secure-software-engineering/phasar C++

A LLVM-based static analysis framework.

1.1k
TypeEvalPy secure-software-engineering/TypeEvalPy Python

A Micro-benchmarking Framework for Python Type Inference Tools

34