An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
☆14Feb 17, 2021Updated 5 years ago
Alternatives and similar repositories for argon-cli
Users that are interested in argon-cli are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Antivirus for Linux operating system☆10Nov 28, 2016Updated 9 years ago
- Reproducible BinProv implementation and pretrained model for binary compilation provenance identification without disassembly.☆10Sep 6, 2026Updated last month
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆14Apr 17, 2021Updated 5 years ago
- ☆11Nov 14, 2024Updated last year
- implementation of some function from string.h using SSE2 instructions☆21Oct 5, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code from the paper: Neurlux: Dynamic Malware Analysis Without Feature Engineering☆13Dec 27, 2020Updated 5 years ago
- This dataset is captured from a Mirai type botnet attack on an emulated IoT network in OpenStack.☆11Feb 11, 2021Updated 5 years ago
- The ultimate command line client for Emoji Generator☆20Aug 27, 2018Updated 8 years ago
- ☆20May 27, 2020Updated 6 years ago
- Official Repository of "Robust Malware Classification via Deep Graph Networks on Call Graph Topologies" (ESANN 2021)☆14Jun 16, 2023Updated 3 years ago
- Replication package for the SANER 2023 paper titled "Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries"☆17Jul 8, 2024Updated 2 years ago
- GitDiG.com☆10Jan 11, 2023Updated 3 years ago
- Compiler Level RISC-V Encryption Tool https://ieeexplore.ieee.org/document/9833625☆13Jan 19, 2023Updated 3 years ago
- PATSQL - SQL Synthesizer☆16Sep 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple macro language extentions to systemtap☆12Dec 14, 2022Updated 3 years ago
- A near perfect replica of Perplexity AI's "Search" function in Python.☆17Aug 14, 2023Updated 3 years ago
- Command line tool for launching attacks against Machine Learning Malware detectors.☆19Jun 18, 2023Updated 3 years ago
- [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense☆17May 7, 2024Updated 2 years ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 3 years ago
- ☆13Jan 30, 2022Updated 4 years ago
- create pseudo terminal and fork process use dart☆14Aug 8, 2022Updated 4 years ago
- ☆28Aug 6, 2022Updated 4 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Oct 24, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Decrypt files encrypted by the QNAP's Hybrid Backup Sync☆26Jul 19, 2019Updated 7 years ago
- 深度隐写术☆18Oct 28, 2020Updated 6 years ago
- This is collection of latest CVE POCs.☆29Mar 1, 2022Updated 4 years ago
- CPU Dasher for Android☆10Sep 20, 2019Updated 7 years ago
- A collection of IDA Python scripts, useful for reverse engineering☆13Sep 4, 2012Updated 14 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆134May 14, 2021Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆13Aug 17, 2017Updated 9 years ago
- Rule-based Dynamic Binary Translator☆13Sep 15, 2020Updated 6 years ago
- Personal Knowledge Management System. Capture your ideas using plain old text files. Make a journal that lasts 100 years.☆29Nov 8, 2023Updated 2 years ago
- 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.
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago
- ☆28Jul 21, 2022Updated 4 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 8 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Search and fetch Java classes from AOT compiled binary file☆19Mar 6, 2022Updated 4 years ago
- ☆17Mar 29, 2021Updated 5 years ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Mar 26, 2022Updated 4 years ago