Results 41 to 50 of about 99 (87)
Concolic Execution and Test Case Generation in Prolog [PDF]
, 2015 Symbolic execution extends concrete execution by allowing symbolic input data and then exploring all feasible execution paths. It has been defined and used in the context of many different programming languages and paradigms. A symbolic execution engine is at the heart of many program analysis and transformation techniques, like partial evaluation ...
openaire +3 more sources
CUTECat: Concolic Execution for Computational Law
Abstract Many legal computations, including the amount of tax owed by a citizen, whether they are eligible to social benefits, or the wages due to civil state servants, are specified by computational laws. Their application, however, is performed by expert computer programs intended to faithfully transcribe the law into computer code. Bugs in
Goutagny, Pierre +2 more
openaire +4 more sources
SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis
CoRR, 2019 Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is especially good at exploring paths that are guarded by complex and tight branch predicates (e.g., (a*b) == 0xdeadbeef).
Wookhyun Han +5 more
openaire +2 more sources
Abstracting Concolic Execution for Soft Contract Verification
Design-by-contract programming is a best practice in which a contract is used to specify the expected behavior of program elements such as functions and classes. Although enforcing compliance with these contracts at run time renders a program robust against unexpected fail- ures, they also introduce a substantial contract monitoring overhead.
Bram Vandenbogaerde +2 more
openaire +3 more sources
Rapid Taint Assisted Concolic Execution (TACE)
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software EngineeringWhile fuzz testing is a popular choice for testing open-source software, it might not effectively detect bugs in programs that feature many symbols due to the significant increase in exploration of the program executions. Fuzzers can be more effective when they concentrate on a smaller and more relevant set of symbols, focusing specifically on the key ...
Ridhi Jain +4 more
openaire +2 more sources
An empirical investigation into path divergences for concolic execution using CREST
Security and Communication Networks, 2015 AbstractRecently, concolic execution has become a hotspot in the domain of software testing and program analysis. However, a practical challenge, called path divergence, impairs the soundness and completeness of concolic execution. A path divergence indicates the tested program runs an unpredicted path.
Ting Chen 0002 +4 more
openaire +2 more sources
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
Proceedings of the 41st ACM/SIGAPP Symposium on Applied ComputingGo's adoption in critical infrastructure intensifies the need for systematic vulnerability detection, yet existing symbolic execution tools struggle with Go binaries due to runtime complexity and scalability challenges. In this work, we build upon Zorya, a concolic execution framework that translates Go binaries to Ghidra's P-Code intermediate ...
Karolina Gorna +3 more
openaire +3 more sources
FCEP: A Fast Concolic Execution for Reaching Software Patches
International Conferences on Software Engineering and Knowledge Engineering, 2021 Meng Fan +3 more
openaire +2 more sources
Concolic Execution as a General Method of Determining Local Malware Signatures
CoRR, 2017 A commonly shared component of antivirus suites is a local database of malware signatures that is used during the static analysis process. Despite possible encryption, heuristic obfuscation, or attempts to hide this database from malicious end-users (or competitors), a currently avoidable eventuality for offline static analysis is a need to use the ...
openaire +2 more sources
APT Detection with Concolic Execution
International Journal of Hybrid Information Technology, 2017 Yunfei Su +3 more
openaire +1 more source