caballa

Working on static analysis at Certora

CertoraUSA

Pinned Repositories

covenant
A Tool for Intersecting Context-Free Grammars
Language:C++9 3 10
crabber
Run Crab analyzer on programs written in CrabIR (a simple goto-based language)
Language:C++2 1 40
ftclp
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Language:Prolog2 3 02
llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
Language:C++3 3 00
wrapped-intervals
Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now implemented in Crab
Language:C++12 3 04
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C263 13 7037
crab
A library for building abstract interpretation-based analyses
Language:C++224 12 4132
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language:C++155 12 5930
seahorn
SeaHorn Verification Framework
Language:C431 20 199131
ebpf-verifier
eBPF verifier based on abstract interpretation
Language:C++354 14 17240

caballa's Repositories

caballa/wrapped-intervals
Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now implemented in Crab
Language:C++12 3 04
caballa/covenant
A Tool for Intersecting Context-Free Grammars
Language:C++9 3 10
caballa/llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
Language:C++3 3 00
caballa/crabber
Run Crab analyzer on programs written in CrabIR (a simple goto-based language)
Language:C++2 1 40
caballa/ftclp
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Language:Prolog2 3 02
caballa/clam-tutorial
Examples showing Clam functionality
Language:LLVM1 3 0
caballa/crab-ebpf
A eBPF verifier based on Crab
Language:C++1 1 0
caballa/verify-c-common
Verify aws-c-common using SeaHorn BMC engines
Language:Jupyter Notebook1
caballa/seahorn
SeaHorn Verification Framework
Language:C0 1 00
caballa/btor2mlir
BTOR2 MLIR project
Language:C++1 0
caballa/cpp-ethereum
Ethereum C++ client
Language:C++1 0
caballa/crab-dagstuhl-tutorial
Material used for Crab tutorial given in Dagstuhl 2023 (https://www.dagstuhl.de/23281)
Language:LLVM
caballa/ebpf-verifier
A new eBPF verifier, using abstract interpretation
Language:C++1 0
caballa/elina
Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)
Language:C1 0
caballa/ELINA-ETH-FORK
ELINA: ETH LIbrary for Numerical Analysis
Language:C++
caballa/evmjit
The Ethereum EVM JIT
Language:C++1 0
caballa/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
caballa/llvm
Fork of the LLVM Compiler Infrastructure
Language:LLVM1 0
caballa/mkplot
A Python script to create cactus and scatter plots based on matplotlib
Language:Python
caballa/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language:C++
caballa/solidity-to-cmodel
Solidity, the Contract-Oriented Programming Language
Language:C++1 0
caballa/yices2
The Yices SMT Solver
Language:SMT1 0

caballa

Pinned Repositories

covenant

crabber

ftclp

llpe

wrapped-intervals

clam

crab

sea-dsa

seahorn

ebpf-verifier

caballa's Repositories

caballa/wrapped-intervals

caballa/covenant

caballa/llpe

caballa/crabber

caballa/ftclp

caballa/clam-tutorial

caballa/crab-ebpf

caballa/verify-c-common

caballa/seahorn

caballa/btor2mlir

caballa/cpp-ethereum

caballa/crab-dagstuhl-tutorial

caballa/ebpf-verifier

caballa/elina

caballa/ELINA-ETH-FORK

caballa/evmjit

caballa/ikos

caballa/llvm

caballa/mkplot

caballa/sea-dsa

caballa/solidity-to-cmodel

caballa/yices2