mopsa

Modular and Open Platform for Static Analysis using Abstract Interpretation

Name

mopsa

Programs

• build_wrapper.exe
• mopsa
• mopsa-build
• mopsa-c
• mopsa-c-emacs
• mopsa-cfg
• mopsa-completion
• mopsa-configure
• mopsa-cpython
• mopsa-db
• mopsa-diff
• mopsa-make
• mopsa-python
• mopsa-python-types
• mopsa-sv-comp
• mopsa-universal
• mopsa.exe

Homepage

• https://mopsa.lip6.fr/

Version

1.1

License

• GNU Lesser General Public License v3.0 or later

Maintainers

• Vincent Laporte

Platforms

• aarch64-linux
• armv5tel-linux
• armv6l-linux
• armv7a-linux
• armv7l-linux
• i686-linux
• loongarch64-linux
• m68k-linux
• microblaze-linux
• microblazeel-linux
• mips-linux
• mips64-linux
• mips64el-linux
• mipsel-linux
• powerpc-linux
• powerpc64-linux
• powerpc64le-linux
• riscv32-linux
• riscv64-linux
• s390-linux
• s390x-linux
• x86_64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source