dogear

enter for all results · esc to close

Doop

plast-lab.github.iosite

Doop is a declarative framework for static analysis of Java/Android programs, centered on pointer analysis algorithms. Doop provides a large variety of analyses and also the surrounding scaffolding to run an analysis end-to-end (fact generation, processing, statistics, etc.).

visit plast-lab.github.io ↗
0
sign in to dogear this
from
Static Analysis & Code Quality
added
2026-10-10
likes
0

similar

  1. Soot soot-oss.github.io
    site category #static-analysis link ↗

    A framework for analyzing and transforming Java and Android applications.

  2. FlowDroid github.com
    tool category #static-analysis link ↗

    Static taint analysis tool for Android applications.

  3. CodeSonar from GrammaTech codesecure.com
    site category #static-analysis link ↗

    copyright: — Advanced, whole program, deep path, static analysis of C, C++, Java and C# with easy-to-understand explanations and code and path visualization.

  4. JAADAS github.com
    tool category #android-security-awesome link ↗

    Joint intraprocedural and interprocedural program analysis tool to find vulnerabilities in Android apps, built on Soot and Scala

  5. oop github.com
    tool category #elixir link ↗

    OOP in Elixir.

  6. dupehound github.com
    tool category #rust link ↗

    [dupehound] - Duplicate-code detector that fingerprints function bodies (winnowing), so copies survive renaming. Repo slop score, duplication history chart, and a CI gate that points to the original function to reuse. Supports Rust and 11 other languages.

Static Analysis & Code Quality › Programming Languages: “Doop is a declarative framework for static analysis of Java/Android programs, centered on pointer analysis algorithms. Doop provides a large variety of analyses and also the surrounding scaffolding to run an analysis end-to-end (fact generation, processing, statistics, etc.).”