https://github.com/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

Last synced: 14 Apr 2025

https://github.com/caballa/covenant

A Tool for Intersecting Context-Free Grammars

concurrent-verification context-free-grammar intersection regular-languages

Last synced: 14 Apr 2025

https://github.com/caballa/llpe

LLPE - Smowton's partial evaluator on LLVM bitcode

llvm partial-evaluators

Last synced: 14 Apr 2025

https://github.com/caballa/crabber

Run Crab analyzer on programs written in CrabIR (a simple goto-based language)

Last synced: 14 Apr 2025

https://github.com/caballa/ftclp

FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation

clp constrained-horn-clauses interpolant verification

Last synced: 14 Apr 2025

https://github.com/caballa/crab-ebpf

A eBPF verifier based on Crab

abstract-interpretation ebpf static-analysis verification

Last synced: 14 Apr 2025

https://github.com/caballa/clam-tutorial

Examples showing Clam functionality

Last synced: 14 Apr 2025

https://github.com/caballa/crab-dagstuhl-tutorial

Material used for Crab tutorial given in Dagstuhl 2023 (https://www.dagstuhl.de/23281)

Last synced: 14 Apr 2025