Results 51 to 60 of about 337 (131)
Smart fuzzing method for detecting stack‐based buffer overflow in binary codes
IET Software, Volume 10, Issue 4, Page 96-107, August 2016., 2016 During the past decades several methods have been proposed to detect the stack‐based buffer overflow vulnerability, though it is still a serious threat to the computer systems. Among the suggested methods, various fuzzers have been proposed to detect this vulnerability.
Maryam Mouzarani +2 more
wiley +1 more source
LCT: An Open Source Concolic Testing Tool for [PDF]
, 2020 LCT (LIME Concolic Tester) is an open source concolic testing tool for sequential Java programs. In concolic testing the behavior of the tested program is explored by executing it both concretely and symbolically at the same time.
Olli Saarikivi +6 more
core
, 2007 Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under test. Traditional test input generation techniques use either (1) concrete execution or (2) symbolic execution that builds ...
Koushik Sen
core +1 more source
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 +2 more sources
, 2008 We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep and a wide exploration of program state space. Our algorithm generates test inputs automatically by interleaving random testing
Rupak Majumdar , et al.
core +1 more source
Concolic Testing Heap-Manipulating Programs [PDF]
, 2019 Concolic testing is a test generation technique which works effectivelyby integrating random testing generation and symbolic execution. Existing concolictesting engines focus on numeric programs.
Pham, Long H. +3 more
core +1 more source
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution
, 2020 Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To support these diverse computing environments, the Linux kernel provides extensibility and modularity through Loadable Kernel Modules (LKM), while featuring a ...
Zhenkun Yang +9 more
core +1 more source
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 +1 more source
Concolic Testing for Scripting Languages
Scripting languages, such as JavaScript and Lua, are becoming more and more popular. They are typically easy to learn and use, making them accessible to a wide range of developers, even those with limited programming experience.
Li, Zhe
core +1 more source