MOPSA

mopsa.lip6.frsite

A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).

from: Static Analysis & Code Quality
added: 2026-10-10
likes: 0

similar

MOPSA gitlab.com

site link ↗
modern public domain CLOS MOP specification clos-mop.hexstreamsoft.com

by Jean-Philippe Paradis (Hexstream).

site link ↗
OpenStaticAnalyzer github.com

OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

tool link ↗
WALA github.com

Static analysis capabilities for Java bytecode and related languages and for JavaScript.

tool topic programming link ↗
Frama-C frama-c.com

A sound and extensible static analyzer for C code.

site link ↗
IKOS github.com

Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3]

tool link ↗

Static Analysis & Code Quality › Multiple languages: “A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).”