Giters
Jorge Navas (caballa)

caballa

Geek Repo

53

followers

0

following

108

stars

Company:Certora

Location:El Paso (Texas)

Home Page:https://jorgenavas.github.io/

Github PK Tool:Github PK Tool

Jorge Navas's repositories

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++License:MITStargazers:12Issues:3Issues:0

covenant

A Tool for Intersecting Context-Free Grammars

Language:C++License:MITStargazers:9Issues:3Issues:1

llpe

LLPE - Smowton's partial evaluator on LLVM bitcode

Language:C++License:NOASSERTIONStargazers:3Issues:3Issues:0

crabber

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

Language:C++Stargazers:2Issues:0Issues:0

ftclp

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

Language:PrologLicense:NOASSERTIONStargazers:2Issues:3Issues:0

clam-tutorial

Examples showing Clam functionality

Language:LLVMStargazers:1Issues:3Issues:0

crab-ebpf

A eBPF verifier based on Crab

Language:C++License:MITStargazers:1Issues:0Issues:0

verify-c-common

Verify aws-c-common using SeaHorn BMC engines

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

btor2mlir

BTOR2 MLIR project

Language:C++Stargazers:0Issues:1Issues:0

cpp-ethereum

Ethereum C++ client

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

crab-dagstuhl-tutorial

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

Language:LLVMStargazers:0Issues:0Issues:0

ebpf-verifier

A new eBPF verifier, using abstract interpretation

Language:C++License:MITStargazers:0Issues:1Issues:0

elina

Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ELINA-ETH-FORK

ELINA: ETH LIbrary for Numerical Analysis

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

evmjit

The Ethereum EVM JIT

Language:C++License:MITStargazers:0Issues:1Issues:0

ikos

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

llvm

Fork of the LLVM Compiler Infrastructure

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mkplot

A Python script to create cactus and scatter plots based on matplotlib

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

solidity-to-cmodel

Solidity, the Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

yices2

The Yices SMT Solver

Language:SMTLicense:GPL-3.0Stargazers:0Issues:1Issues:0