Discover SRI-CSL/llvm2smt Open Source project

Stars
56
Rank 527,281 (Top 11 %)
Language LLVM
License
MIT License
Created over 9 years ago
Updated over 4 years ago

SRI-CSL

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Experimental translation of llvm to smt.

yices2

The Yices SMT Solver

SMT

360

gllvm

Whole Program LLVM: wllvm ported to go

293

PVS

The People's Verification System

Common Lisp

134

stegotorus

A Camouflage Proxy for the Tor Anonymity System

C++

sally

A model checker for infinite-state systems.

C++

Maude

Language based on Rewriting Logic

C++

libpoly

LibPoly is a C library for manipulating polynomials

l3riscv

An executable specification of the RISCV ISA in L3.

Ruby

NTT

An Implementation of the Number Theoretic Transform

TrinityMultimodalTrojAI

Python

Bliss

BLISS: Bimodal Lattice Signature Schemes

musllvm

The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.

Trinity-TrojAI

This repository contains code developed by the SRI team for the IARPA/TrojAI program.

Python

jumpbox

JumpBox – A Seamless Browser Proxy for Tor Pluggable Transports

bixie

Inconsistent code detection for Java.

Java

filia

Translate Python and JavaScript into MLIR

C++

ENCODERS

ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks.

yices2_ocaml_bindings

AircraftVerse

Wholly

yices2_python_bindings

Python bindings for yices2

Python

f3d

f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial image analysis.

arsenal-base

imaude

high-assurance-crypto

This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

radler

Radler

Python

jel

JPEG Embedding Library

secure_ros

Secure ROS

Python

ALICE

Python

SMT.tmbundle

Linguist/TextMate support for SMT-LIB2

homebrew-sri-csl

SRI International's Tap

Ruby

ETB

The Evidential Tool Bus

do-like-javac

pascali-public

parsley-lang

Parsley format definition language

OCaml

yices2_java_bindings

Java bindings for Yices 2.

C++

VCPublic

Place to share snapshots of maude models

Python

signal-public

Public SIGNAL repo

Jupyter Notebook

WhollyRecipes

Recipes for the Wholly build system

Python

OCCAM-Benchmarks

Set of benchmarks used by the OCCAM tool.

Python

ICS

Integrated Canonizer and Solver

OCaml

PVSCodegen

iopc

The C infrastructure for the IOP system

DroneSim

SoftAgents drone simulation example

Python

pce

Probabilistic Consistency Engine

clam-prov

Provenance Tracking with Clam

C++

io-specialization

Specialization of IO system calls

C++

PVSPackrat

PVS proofs for PEG grammars and Packrat parsers.

PLambda

A Python version of JLambda

Python

sri-glibc-malloc

SRI's modification of glibc malloc that eliminates metadata in client memory.

datum

A parser for biological experiment shorthand.

Clojure

SudokuSolver

A sudoku solver to illustrate the new yices python API

Python

latextrack

LaTeX Track Changes shows changes over time for a .tex file that has its history stored in a git or svn repository. The user can customize how to view the changes: limited to certain authors or by revision or date among other filters. An Emacs mode provides the user interface. Plug-ins for other editors (such as TeXShop or Atom) are planned.

Java

libfutil

The _F_unctions and _UTIL_ities library

parsley-rust

Rust infrastructure for Parsley parsing

Rust

HybridSal

Java

nodelet_core

nodelet_core is a forked version of nodelet_core for Secure ROS.

WrapPat

libpoly_ocaml_bindings

OCaml bindings for libpoly

OCaml

lingoboost

Project for LingoBoost "TMR Lite" Android App

Kotlin

safedocs-recognizer

DARPA SafeDocs TA1 software suite to bundle and orchestrate various format-aware tracing tools.

Python

tree

augmented-metitarski

An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning

rendezvous

Abandonware or Demoware code base for rendezvous.

ACS

Address Change Signaling

_ros_comm

ros_comm is a forked version of ros_comm for Secure ROS.

C++

SoftAgentsDiagnosis

Python

phosphosite

A web trawler for biological data

Python

secure_ros_tools

Python

prism

PRISM is the stand-alone version of our SRI TA1 system developed under the DARPA RACE program during 2019-2023. This software was cleared by DARPA on September 18, 2023; Approved for Public Release, Distribution Unlimited (Distribution "A").

Python

clam-prov-benchmarks

Benchmarks for clam-prov

Shell

BlissResources

A collection of public resources related to BLISS (Bimodal Lattice Signature Schemes)

safedocs-yarn-public

Python

Trinity

Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI

Python

dnre

Code accompanying paper: Direct Amortized Likelihood Ratio Estimation

Jupyter Notebook

TIJO

Official Implementation of ICCV'23 paper on Multimodal Backdoor Defense Technique: TIJO (Trigger Inversion using Joint Optimization)

OpensDec

The Open Source Decompiler Project

coproof

Jupyter Notebook

SRI-CSL/llvm2smt

SRI-CSL

Reviews

Repository Details

More Repositories