OCCAM: Object Culling and Concretization for Assurance Maximization
☆16May 27, 2022Updated 3 years ago
Alternatives and similar repositories for OCCAM
Users that are interested in OCCAM are comparing it to the libraries listed below
Sorting:
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- ALLVM Tools☆57Mar 23, 2022Updated 3 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- Whole Program LLVM: wllvm ported to go☆334Apr 28, 2024Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago
- Fork of LLVM with modifications to support a program repository☆25Mar 28, 2022Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- Optimizing compilation times of Generated Code with Templates☆28Nov 5, 2017Updated 8 years ago
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago
- A Python Toolkit for BaPSF☆12Updated this week
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Oct 29, 2021Updated 4 years ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated this week
- SIGPLAN website☆13Updated this week
- Code for the paper "Learning to Do or Learning While Doing: Reinforcement Learning and Bayesian Optimisation for Online Continuous Tuning…☆13Nov 15, 2023Updated 2 years ago
- a hybrid 2D code for plasma wakefield acceleration☆11Dec 23, 2018Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- RadiaSoft utilities for modeling linear accelerators, including the Hellweg code☆10Nov 29, 2025Updated 3 months ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Nautilus Aerokernel☆48May 11, 2022Updated 3 years ago
- Lightweight module that can be mixed in to any object in order to provide it with custom events. For node.js and the browser. Based on Ba…☆37Feb 9, 2026Updated 3 weeks ago
- A conda-smithy repository for ctng-compiler-activation.☆14Feb 12, 2026Updated 3 weeks ago
- A conda-smithy repository for hdf5.☆13Feb 6, 2026Updated last month
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- C++ backend for the ipyvolume 3-D plotting library☆13Feb 4, 2019Updated 7 years ago
- A little demo how to bind an advanced data science algorithms to 4 different languages☆10Nov 6, 2018Updated 7 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago