🧮 Symbolic Execution - amy.throwaway.lovely · Scour

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔀Concolic Execution

arxiv.org·1d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation ✅Formal Verification

arxiv.org·8h

Sustainability Analysis of Prompt Strategies for SLM-based Automated Test Generation 🔀Concolic Execution

arxiv.org·4d

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines 💾Binary Analysis

arxiv.org·2d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🛡️Exploit Mitigations

arxiv.org·2d

Inference-Time Code Selection via Symbolic Equivalence Partitioning ✅Formal Verification

arxiv.org·1d

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🔌Hardware Security

arxiv.org·1d

Planning to Explore: Curiosity-Driven Planning for LLM Test Generation 🔀Concolic Execution

arxiv.org·2d

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT ✅Formal Verification

arxiv.org·2d

Loading more...