sec3-service / Owl-LMView external linksLinks
Large Language Model for Blockchain
☆60May 24, 2023Updated 2 years ago
Alternatives and similar repositories for Owl-LM
Users that are interested in Owl-LM are comparing it to the libraries listed below
Sorting:
- ☆47Dec 17, 2025Updated last month
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆45May 11, 2025Updated 9 months ago
- Deploy your own rollup on Ethereum with op-stack-deployer.☆19Feb 10, 2025Updated last year
- TrustAgent: Towards Safe and Trustworthy LLM-based Agents☆56Feb 7, 2025Updated last year
- ☆21Feb 15, 2022Updated 3 years ago
- ☆21Apr 17, 2023Updated 2 years ago
- A framework for evaluating AI audit agents using recent real-world data☆100Oct 4, 2025Updated 4 months ago
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- ☆50Dec 19, 2020Updated 5 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- afl/afl++ with a hierarchical seed scheduler☆56Feb 19, 2022Updated 3 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- OSS-Fuzz Public Corpora Crawler☆30Feb 23, 2023Updated 2 years ago
- Fine-tuning GPT for Smart Contract Auditing☆166Apr 23, 2023Updated 2 years ago
- ☆63Oct 17, 2023Updated 2 years ago
- ☆24May 13, 2024Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Jan 8, 2023Updated 3 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- Access control logic for Metaplex Candy Machine.☆27Apr 6, 2023Updated 2 years ago
- ☆28Jan 20, 2026Updated 3 weeks ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- EIP-5164 implementation☆31Jan 25, 2024Updated 2 years ago
- Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…☆98Jan 19, 2026Updated 3 weeks ago
- Zipper: Anti-Rug & Anti-Sandwich Primitive☆34Dec 14, 2022Updated 3 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Apr 4, 2021Updated 4 years ago
- CFG and scripts for fuzzing the PHP interpreter with Domato☆28Jan 4, 2020Updated 6 years ago
- Superion Mutator for AFLPlusPlus☆31Dec 5, 2023Updated 2 years ago
- Automated Vulnerability Detection for Solana Smart Contracts☆38May 21, 2024Updated last year
- Proof of concept program for compressing NFTs☆113Oct 7, 2022Updated 3 years ago
- a simple frida-based fuzzer for skylight based on @ret2systems pwn2own work☆30May 19, 2019Updated 6 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30May 24, 2020Updated 5 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- A manually vetted dataset for security vulnerability detection in Java projects☆89Aug 12, 2025Updated 6 months ago
- ☆126Jul 14, 2024Updated last year
- ☆39Jun 23, 2025Updated 7 months ago
- 动态二进制插桩框架DynamoRIO通过将程序代码进行反复插桩(Instrumentation)执行构建了源程序代码与操纵代码之间的桥梁,使DynamoRIO的客户端编写者能够在更高的层面上驾驭原有的程序代码.虽然程序的载体还是被编译成原生的汇编指令集执行,但是不管是原生代…☆35Apr 6, 2022Updated 3 years ago