an input-sensitive profiler
☆17Nov 30, 2019Updated 6 years ago
Alternatives and similar repositories for aprof
Users that are interested in aprof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and stuffs of the meetings during the 2018☆13Jan 18, 2022Updated 4 years ago
- Slides and stuffs of the meetings during the 2020.☆16Jan 18, 2022Updated 4 years ago
- An unofficial and open source client for Sapienza University's Infostud☆10Mar 6, 2023Updated 3 years ago
- Grammar synthesis algorithm using a black box oracle☆37May 17, 2024Updated last year
- Slides and stuffs of the meetings during the 2019☆33Jan 18, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆44Apr 28, 2020Updated 6 years ago
- ☆55Mar 30, 2020Updated 6 years ago
- chef cookbook to install Apache Spark☆10Jul 17, 2015Updated 10 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Proof of concept prototype to perform distributed training using BVLC/caffe, based on a parameter server implementation using MPI. Data p…☆13May 7, 2015Updated 10 years ago
- ☆11Jun 19, 2018Updated 7 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Definitely not for fuzzing☆11Oct 22, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Custom fork containing our own python backend for integration into neon☆15Jan 3, 2023Updated 3 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- Notes of several master courses attended at sapienza engineering in computer science☆37Feb 18, 2021Updated 5 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 6 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Jan 17, 2022Updated 4 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 12 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 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.
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- The bootstrapping PEG parser☆10Feb 18, 2024Updated 2 years ago
- Benchmark for Co-running Single Applications on Integrated Architectures☆12Jul 7, 2016Updated 9 years ago
- A program analysis, verification, and optimization framework☆27Apr 27, 2026Updated last week
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Java library that provides an easy way to obtain infos from Sapienza University's Infostud☆13Apr 14, 2023Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆73Jul 12, 2025Updated 9 months ago
- MCP server for Youtube☆19Mar 15, 2025Updated last year
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Apr 24, 2017Updated 9 years ago