mlsanityData to 14 Oct 2026

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

arXiv 1907.03890 ↗First posted 8 Jul 2019cs.SE cs.CRcited by 37

Not on the map. Why?

Abstract (arXiv)

An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.

Key facts. Cited by 37 papers in the map (data through 14 Oct 2026). First posted on arXiv 8 Jul 2019.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 5; 2022: 5; 2023: 7; 2024: 7; 2025: 10; 2026: 3.

37 papers.

Sort:

By area:

  1. 2023GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysiscited by 65
  2. 2023Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectivescited by 48
  3. 2024Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justificationscited by 41
  4. 2024PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generationcited by 37
  5. 2023Blockchain Large Language Modelscited by 17
  6. 2024Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanationcited by 8
  7. 2021Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contractscited by 7
  8. 2021ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learningcited by 4
  9. 2022MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilitiescited by 4
  10. 2025Prompt to Pwn: Automated Exploit Generation for Smart Contractscited by 4
  11. 2024Detecting Buggy Contracts via Smart Testingcited by 3
  12. 2025AiRacleX: Automated Detection of Price Oracle Manipulations via LLM-Driven Knowledge Mining and Prompt Generationcited by 3
25 more
  1. 2023Usenix'23 Extended Version: Smart Learning to Find Dumb Contractscited by 2
  2. 2024Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysiscited by 2
  3. 2024Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilitiescited by 2
  4. 2025SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Modelscited by 2
  5. 2025SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detectioncited by 2
  6. 2023SourceP: Detecting Ponzi Schemes on Ethereum with Source Codecited by 1
  7. 2025Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Movecited by 1
  8. 2025Legal Compliance Evaluation of Smart Contracts Generated By Large Language Modelscited by 1
  9. 2025Web3 x AI Agents: Landscape, Integrations, and Foundational Challengescited by 1
  10. 2025Large Language Model based Smart Contract Auditing with LLMBugScannercited by 1
  11. 2025BugSweeper: Function-Level Detection of Smart Contract Vulnerabilities Using Graph Neural Networkscited by 1
  12. 2026PACE: Policy-Attested Contract Execution for Safe AI Agents in Decentralized Financecited by 1
  13. 2021SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysiscited by 0
  14. 2021VisualTextRank: Unsupervised Graph-based Content Extraction for Automating Ad Text to Image Searchcited by 0
  15. 2021Text is NOT Enough: Integrating Visual Impressions into Open-domain Dialogue Generationcited by 0
  16. 2022Discovering Personalized Semantics for Soft Attributes in Recommender Systems using Concept Activation Vectorscited by 0
  17. 2022Reinforced MOOCs Concept Recommendation in Heterogeneous Information Networkscited by 0
  18. 2022Explanation-Guided Fairness Testing through Genetic Algorithmcited by 0
  19. 2022Using Graph Neural Networks for Program Terminationcited by 0
  20. 2023Tribe or Not? Critical Inspection of Group Differences Using TribalGramcited by 0
  21. 2023Schooling to Exploit Foolish Contractscited by 0
  22. 2024Knowledge Migration Framework for Smart Contract Vulnerability Detectioncited by 0
  23. 2025Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detectioncited by 0
  24. 2026Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contractscited by 0
  25. 2026SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contractscited by 0