Published December 8, 2025
| Version 2.1.1
Software
Open
Nacpa: Native Checking with Parallel Analyses
Authors/Creators
-
1.
Ludwig-Maximilians-Universität München
Contributors
Project member (2):
-
1.
Ludwig-Maximilians-Universität München
Description
Nacpa is a meta-verifier for C programs. It utilizes CPAchecker as a backend verifier and Kleef and PRTest for dynamic reach safety analysis.
It is based on strategy selection, parallel portfolios, and native compilation of Java.
Files
nacpa.zip
Additional details
Software
- Repository URL
- https://gitlab.com/sosy-lab/software/nacpa
- Programming language
- Go
- Development Status
- Active