Library wrapper and system-level tracing utilities
☆47Feb 22, 2017Updated 9 years ago
Alternatives and similar repositories for libtrack
Users that are interested in libtrack are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🧰 🛠️ A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Mar 17, 2026Updated 7 months ago
- Data-Oriented Differential Testing of ORM Systems.☆15Jan 22, 2021Updated 5 years ago
- Differential fuzzing for the masses!☆155Aug 9, 2017Updated 9 years ago
- A jobserver for running experiments on test machines and copying results back.☆14Apr 5, 2024Updated 2 years ago
- differential☆12Oct 30, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A (GCC) compiler plugin for multiversing functions☆21May 23, 2022Updated 4 years ago
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- memTrace, a framework for lightweight memory tracing☆62Jan 5, 2020Updated 6 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- deprecated☆19Jan 15, 2019Updated 7 years ago
- A C library for tracking metrics☆17Jul 28, 2022Updated 4 years ago
- Acorn Atom in minimal configuration for iCE40 HX8K board and ICOboard☆10Apr 30, 2023Updated 3 years ago
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆16Sep 29, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Quantifying the cost of context switch☆15Mar 31, 2016Updated 10 years ago
- Userland linux/amd64emulator in Go☆18Nov 27, 2020Updated 5 years ago
- ☆21Apr 17, 2019Updated 7 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- A standard Linux kernel tree with KVM for ARM patches☆15Feb 19, 2018Updated 8 years ago
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated 3 weeks ago
- [DEPRECATED] AUFS Snapshotter for containerd v1.x☆26Jul 5, 2023Updated 3 years ago
- Strata: A Cross Media File System☆73Apr 12, 2023Updated 3 years ago
- Make nice plots with matplotlib.☆11Oct 8, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Timers based on different time sources, using the C++11 chrono interface☆16Apr 13, 2017Updated 9 years ago
- MapReduce for multi-core☆50Sep 16, 2013Updated 13 years ago
- IX a protected dataplane operating system project☆136Nov 6, 2017Updated 8 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- Miscellaneous utility code for c++ projects.☆18Nov 4, 2018Updated 7 years ago
- A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT☆18Oct 26, 2020Updated 6 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 9 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Jan 2, 2020Updated 6 years ago
- An Apache Mesos Framework that allows for replaying load over and over and over (and over) again☆10Aug 10, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆23Jul 17, 2026Updated 3 months ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 6 years ago
- A simple VM to play with OSR in LLVM☆20Jun 11, 2017Updated 9 years ago
- Buildbot infrastructure☆23Mar 24, 2026Updated 7 months ago
- ☆35Jan 21, 2021Updated 5 years ago
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago