Buchumschlag

CUTECat: Concolic Execution for Computational Law

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goutagny, Pierre, Fromherz, Aymeric, Monat, Raphaël
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Try-Mopsa: Relational Static Analysis in Your Pocket
von: Monat, Raphaël
Veröffentlicht: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
von: Gorna, Karolina, et al.
Veröffentlicht: (2025)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
von: Guerin, Cormac, et al.
Veröffentlicht: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
von: Yavuz, Tuba
Veröffentlicht: (2024)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

ColorGo: Directed Concolic Execution
von: Li, Jia, et al.
Veröffentlicht: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2026)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
von: Ye, He, et al.
Veröffentlicht: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
von: Bhatia, Rishipal Singh
Veröffentlicht: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
von: Feng, Rong, et al.
Veröffentlicht: (2025)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
von: Yrievich, Petro Baran
Veröffentlicht: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)

Teaching LLMs Program Semantics via Symbolic Execution Traces
von: Bayer, Jonas, et al.
Veröffentlicht: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
von: Sharp, Toby
Veröffentlicht: (2025)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
von: Yu, Simon, et al.
Veröffentlicht: (2026)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

NExT: Teaching Large Language Models to Reason about Code Execution
von: Ni, Ansong, et al.
Veröffentlicht: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
von: Peng, Yun, et al.
Veröffentlicht: (2024)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
von: van der Vleuten, Noah, et al.
Veröffentlicht: (2025)

Quantum Concolic Testing
von: Xia, Shangzhou, et al.
Veröffentlicht: (2024)

Turn: A Language for Agentic Computation
von: Kizito, Muyukani
Veröffentlicht: (2026)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Concolic Testing of JavaScript using Sparkplug
von: Li, Zhe, et al.
Veröffentlicht: (2024)

Phyelds: A Pythonic Framework for Aggregate Computing
von: Aguzzi, Gianluca, et al.
Veröffentlicht: (2026)

Automated Computer Program Evaluation and Projects -- Our Experiences
von: Srinivasan, Bama, et al.
Veröffentlicht: (2024)

Stale Profile Matching
von: Ayupov, Amir, et al.
Veröffentlicht: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)