Projects

Updated 6 months ago

It's not just a linter that annoys you!

closember code-quality hacktoberfest linter pep8 static-analysis static-code-analysis

Updated 6 months ago

A new version of Soot with a completely overhauled architecture

android bytecode call-graph dataflow-analysis java jimple program-analysis soot static-analysis static-code-analysis

Updated 6 months ago

This repository contains microbenchmarks written in Swift and C++.

cpp llvm-ir static-code-analysis swift

Updated 6 months ago

Find (missing) dependencies in R-source code

package-dependencies r static-code-analysis

Updated 6 months ago

Static analysis framework for C

abstract-interpretation c ocaml program-analysis race-conditions race-detection software-verification static-analysis static-code-analysis

ecosyste.ms