C++ / program analysis

Hint: Click ↑ Pushed to see the most recently updated apps and libraries or click Growing to repos being actively starred .
0
SVF 🌿
416 (+3) ⭐

Static Value-Flow Analysis Framework for Source Code

0
souffle 🌿
327 (+0) ⭐

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

0
cpp_book 🍂
31 (+0) ⭐

Select exercises from C++ Programming - From Problem Analysis to Program Design 5th Edition

0
phasar 🌿
406 (+0) ⭐

A LLVM-based static analysis framework.

0
ikos 🌿
1283 (+0) ⭐

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

0
cppcheck 🌿
2930 (+2) ⭐

static analysis of C/C++ code

0
FairRoot 🌿
40 (+0) ⭐

C++ simulation, reconstruction and analysis framework for particle physics experiments

0
pa.llvm 🍂
36 (+0) ⭐

Program Analysis for LLVM

0 comments    
0
trdrop 🌿
100 (+0) ⭐

trdrop - a raw video analysis program

0 comments    
0
DFTFringe 🌿
18 (+0) ⭐

DFTFringe Telescope Mirror interferometry analysis Program.

0 comments    
107796 C++ libraries
(22561 libraries)
Go
(103780 libraries)
(56616 libraries)
(19557 libraries)
(30593 libraries)
C#
(50179 libraries)
(25127 libraries)
(44977 libraries)
(14821 libraries)
(10830 libraries)
(26978 libraries)
(16905 libraries)
(174383 libraries)
(16839 libraries)
Vue
(18397 libraries)
CSS
(84417 libraries)
(86876 libraries)
(62568 libraries)
(14180 libraries)
C++
(107796 libraries)
C
(87218 libraries)
(51939 libraries)
(53489 libraries)
(11241 libraries)
(71411 libraries)
PHP
(105334 libraries)
(143181 libraries)
(168016 libraries)
(7460 libraries)
Nim
(5040 libraries)
D
(11889 libraries)
(42622 libraries)
(2940 libraries)