Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
☆17Oct 16, 2020Updated 5 years ago
Alternatives and similar repositories for violet
Users that are interested in violet are comparing it to the libraries listed below
Sorting:
- Website for Systems Research Seminar at UIUC☆20Feb 21, 2026Updated last week
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆26Oct 3, 2023Updated 2 years ago
- Configuration dependency analysis for cloud software☆23Jan 4, 2022Updated 4 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆78Aug 5, 2025Updated 6 months ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30May 24, 2020Updated 5 years ago
- Python package designed for single-cell calling cards data☆16Jun 8, 2025Updated 8 months ago
- The project is to detect malware traffic in TLS flows using ML☆35Feb 24, 2020Updated 6 years ago
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆36Jan 24, 2024Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- Dynamic mode decomposition in Python☆13Jun 9, 2015Updated 10 years ago
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 5 years ago
- Leveraging machine learning to detect TLS based malware in encrypted traffic without decryption☆39Aug 14, 2020Updated 5 years ago
- ☆10Apr 30, 2024Updated last year
- ☆11Sep 5, 2019Updated 6 years ago
- Unified Sparse Library Wrapper Based on cuSPARSE☆12May 24, 2022Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- The companion code to the paper "Model-based Causal Bayesian Optimization"☆11Nov 16, 2022Updated 3 years ago
- ☆11Jun 10, 2024Updated last year
- Analyzes generic firewall rules and detects conflicts and anomalies.☆18Jan 25, 2025Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated 2 weeks ago
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- 123123☆16Dec 31, 2025Updated last month
- System Audit Architecture with High Event Coverage and Synchronous Log Availability☆18Nov 27, 2024Updated last year
- ☆10Sep 4, 2020Updated 5 years ago
- ☆10Sep 25, 2024Updated last year
- ☆18Oct 1, 2025Updated 4 months ago
- Automatic Fetch Tongji 4m3 Notice and post to Telegram via bot.☆10Dec 12, 2018Updated 7 years ago
- A powerful hacker toolkit collected more than 10 categories of open source scanners from Github - 安全行业从业者自研开源扫描器合辑☆11Sep 3, 2021Updated 4 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- Implementing a semi supervised learning algorithm using SVM as base classifier☆10Apr 6, 2013Updated 12 years ago
- A solution for llvmvm in MRCTF2022☆11Apr 27, 2022Updated 3 years ago