Projects - Static Analysis

    Filter: All projects | Highlights | Active | Commercial/external
    Domains: Static analysis | Testing | Cybersecurity | Reverse-engineering | Development Tools | Operating systems & Embedded | Infrastructure
    Platforms: Windows | Linux | Mac | WM | WP7 | WP8 | ELFPack | Sony Ericsson
    CPU: ARM | ARM64 | X86_64 | RISC-V (32 bit) | RISC-V (64 bit) | MIPS
    Statistics: ANTLR (1) | Assembler (14) | Assembly (1) | Bash (5) | C (93) | C# (32) | C++ (94) | Go (2) | Java (2) | Lua (2) | Python (11) | RuC (1) | Ruby (1) | Rust (11) | Shell (1) | TeX (1 + 15) | VB.NET (7)

    ArvoreStatic analysis

    • C

    Dynamic tree implementation which allows for advanced use cases - like state keeping.


    Go parser for VisaoStatic analysis

    • Go, Rust, C++

    Parsing for Go based on C++/Rust.


    Evolucao / WebStatic analysis

    • Rust

    The frontend for the static analysis orchestration server


    EvolucaoStatic analysis

    • Rust

    The static analysis orchestration server


    fmtparserStatic analysisOpen-source

    • C

    printf/scanf format parser


    Equid IDE integrationStatic analysisExternal

    • Java

    Eclipse IDE integration for the Equid static analyzer.


    Build traceStatic analysis, Reverse engineeringExternal

    • C, C++

    A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.



    ParslrStatic analysis, TestingOpen-source

    • Python

    Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.


    Static analysis testing ensembleStatic analysis, TestingActive

    • Bash, Python

    Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).


    BuiltinizerStatic analysisOpen-source

    • C++

    Recreate signatures of Clang's builtin functions.


    Verification Example FrameworkStatic analysis, TestingActiveOpen-source

    • C, C++, RuC, Python

    The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.


    Analysis Server ProtocolStatic analysisActiveHighlightsOpen-source

    • C, C++

    The protocol that it is used to unite static analyzers and IDEs, not only for IDE tasks. Inspired by language server protocol


    Visao - a static analysis frameworkStatic analysisActiveHighlightsOpen-source

    • C, C++, Python, Bash, Rust

    A sophisticated tool for finding bugs and proving their absence in C/C++/Go code, this project aims at making analysis easy and worth to apply.


    type-grammarStatic analysisActiveOpen-source

    • ANTLR

    An attempt to make a unified ANTLR grammar for C/C++ types


    Race ResearcherStatic analysis

    • C#

    A graphical interface to Race static analyzer, allowing to quickly spot locking failures.


    Codename RaceStatic analysisHighlights

    • C#

    A static analyzer aimed at finding race conditions in the Linux code. It uses Lockset algorithm with sophisticated selection of executed function pairs, and it has proven to be quite useful in production. The C parsing has been implemented through Roslyn patches.


    Codename Race CloudStatic analysis

    • C#

    Managed API for cloud usage of "Codename Race" static analyzer


    Custom static analyzer for router softwareStatic analysis, Operating systems & EmbeddedExternal

    • C#

    Since we had a host controller driver which was fatally flawed regarding locking, I've made a custom static analyzer to deal with locking problems. It was based on Roslyn patched to support C.