Change the repository type filter
All
Repositories list
62 repositories
- FlowDroid Static Data Flow Tracker
TypeEvalPy
PublicA Micro-benchmarking Framework for Python Type Inference Tools- A LLVM-based static analysis framework.
SWARM-CG
PublicPathExpression
Publicupcy
Publicswan
Public- HeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.
neck
Publicsecucheck-core
Publicsootdiff
Publicsecucheck-catalog
Publicsecucheck
PublicFalseCrypt
PublicSparseIDE
Publicmodguard
PublicSootFX
PublicDroidBench
PublicCOVA
Publicauthcheck
PublicAnalysis for access-control vulnerabilities in Java Spring Security applications.spring-petclinic-kotlin
Public- This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin
opcua-scanner
Publicz3
Publiccards
PublicComponent-based Assumptions and Restrictions for Dataflow Specificationsjadx-taintdoc
Publictamiflex
Public