☆14Jun 11, 2020Updated 5 years ago
Alternatives and similar repositories for XRust
Users that are interested in XRust are comparing it to the libraries listed below
Sorting:
- ☆27Apr 27, 2022Updated 3 years ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 9 months ago
- ☆19Sep 8, 2025Updated 6 months ago
- Source code for paper "Breaking Security-Critical Voice Authentication".☆13Jul 10, 2023Updated 2 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- A framework for large scale analysis of the Rust ecosystem.☆37Updated this week
- Easy tool to manage B uploads.☆13Jul 1, 2022Updated 3 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- PVSS & Scrape in rust☆11Aug 14, 2025Updated 7 months ago
- ☆61Feb 15, 2023Updated 3 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Jun 17, 2024Updated last year
- Lightweight face detection models archieve high peformance on widerface val set☆15Nov 25, 2020Updated 5 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Sep 14, 2023Updated 2 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- A simple C program acting as Keylogger.☆18Apr 15, 2018Updated 7 years ago
- FunK is a scalable function provider (think to kind of small FaaS)☆10Jun 29, 2018Updated 7 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- single node kafka implementation☆13Apr 27, 2018Updated 7 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- A stateless model checker powered by maximal causality reduction☆38Oct 13, 2020Updated 5 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago
- ☆18Sep 24, 2018Updated 7 years ago
- ☆18Oct 20, 2021Updated 4 years ago
- Dockerfile to install and run heartbleed tool☆32Jun 16, 2017Updated 8 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- Parallel cucumber-js testing via Node's child_process.spawn api☆13Apr 4, 2017Updated 8 years ago
- Atlas is the Deloitte Digital Framework for Sitecore Development☆17May 20, 2025Updated 10 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Oct 6, 2023Updated 2 years ago
- POC of CVE-2025-7783☆31Oct 31, 2025Updated 4 months ago
- ☆12Jan 7, 2024Updated 2 years ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 9 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- A formally verified security module for AMD confidential VMs☆65Dec 11, 2025Updated 3 months ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆39Aug 30, 2022Updated 3 years ago