Marco: A Stochastic Asynchronous Concolic Explorer
Concolic execution is a powerful program analysis technique for code path exploration.
Despite recent advances that greatly improved the efficiency of concolic execution engines …
Despite recent advances that greatly improved the efficiency of concolic execution engines …
BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
C Shou, Y Ke, Y Yang, Q Su, O Dadosh, A Eli… - arXiv preprint arXiv …, 2024 - arxiv.org
Billions of dollars have been lost due to vulnerabilities in smart contracts. To counteract this,
researchers have proposed attack frontrunning protections designed to preempt malicious …
researchers have proposed attack frontrunning protections designed to preempt malicious …
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution
J Yoon, S Cha - Proceedings of the ACM on Software Engineering, 2024 - dl.acm.org
We present FeatMaker, a novel technique that automatically generates state features to
enhance the search strategy of symbolic execution. Search strategies, designed to address …
enhance the search strategy of symbolic execution. Search strategies, designed to address …
Automated test data generation and stubbing method for C/C++ embedded projects
Automated test data generation for unit testing C/C++ functions using concolic testing has
been known for improving software quality while reducing human testing effort. However …
been known for improving software quality while reducing human testing effort. However …
Multi-language Unit Test Generation using LLMs
Implementing automated unit tests is an important but time consuming activity in software
development. Developers dedicate substantial time to writing tests for validating an …
development. Developers dedicate substantial time to writing tests for validating an …
MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR
J El Karchi, H Chen, A TehraniJamsaz… - 2024 IEEE …, 2024 - ieeexplore.ieee.org
Identifying errors in parallel MPI programs is a challenging task. Despite the growing
number of verification tools, debugging parallel programs remains a significant challenge …
number of verification tools, debugging parallel programs remains a significant challenge …
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
X Sun, R Gupta - Proceedings of the 2024 ACM SIGPLAN International …, 2024 - dl.acm.org
Concolic testing combines concrete execution with symbolic execution to automatically
generate test inputs that exercise different program paths and deliver high code coverage …
generate test inputs that exercise different program paths and deliver high code coverage …
System-On-Chip Information Flow Validation Under Asynchronous Resets
Modern System-on-Chip (SoC) designs comprise hundreds of individual IP blocks, each
with its custom implementation of reset signals in most cases. The asynchronous nature of …
with its custom implementation of reset signals in most cases. The asynchronous nature of …
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
We presents Owi, an interpreter for WebAssembly written in OCaml. It can perform parallel
symbolic execution thanks to its monadic interpreter and a multi-core choice monad. We …
symbolic execution thanks to its monadic interpreter and a multi-core choice monad. We …