Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c abstract interpretation
abstract-interpretation
x
c
x
8 search results found
Seahorn
⭐
391
SeaHorn Verification Framework
Analyzer
⭐
143
Static analysis framework for C
Frama C Snapshot
⭐
125
Release snapshots of the Frama-C platform for source code analysis
Sparrow
⭐
86
The Sparrow Static Analyzer
Par4all
⭐
38
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
Function
⭐
10
Silva
⭐
8
Silvarum Interpretatione Lator Valens Analysis - Stability analyzer for tree ensemble calssifiers.
Intabs
⭐
6
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
Related Searches
C Kernel (12,842)
C Video Game (4,242)
C Driver (4,106)
Python C (4,069)
C Firmware (3,545)
C Arduino (3,118)
C Usb (2,589)
C Arm (2,566)
C Command Line (2,475)
C Algorithms (2,333)
1-8 of 8 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.