https://github.com/sosy-lab/cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
https://github.com/sosy-lab/cpachecker

c java software-verification static-analysis verification

Last synced: about 2 months ago
JSON representation

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

• Host: GitHub
• URL: https://github.com/sosy-lab/cpachecker
• Owner: sosy-lab
• License: apache-2.0
• Created: 2014-05-23T16:57:37.000Z (almost 11 years ago)
• Default Branch: main
• Last Pushed: 2024-10-29T11:40:33.000Z (6 months ago)
• Last Synced: 2024-10-29T12:06:49.162Z (6 months ago)
• Topics: c, java, software-verification, static-analysis, verification
• Language: SWIG
• Homepage: https://cpachecker.sosy-lab.org
• Size: 789 MB
• Stars: 226
• Watchers: 23
• Forks: 90
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: NEWS.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Authors: Authors.md

Awesome Lists containing this project

• awesome-java - CPAchecker