Change the repository type filter
All
Repositories list
62 repositories
TypeEvalPy
PublicA Micro-benchmarking Framework for Python Type Inference ToolsSWARM-CG
PublicSparseBoomerang
PublicFlowDroid
PublicFlowDroid Static Data Flow Trackerphasar
PublicA LLVM-based static analysis framework.upcy
PublicHeaderGen
PublicHeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.PathExpression
Publicpaper-idesolverxx
Publicneck
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