Results 31 to 40 of about 842,701 (337)
Self-composition by Symbolic Execution [PDF]
, 2013 This work is licensed under a CC-BY Creative Commons Attribution 3.0 Unported license (http://creativecommons.org/licenses/by/3.0/)urn: urn:nbn:de:0030-drops-42770urn: urn:nbn:de:0030-drops-42770Self-composition is a logical formulation of non ...
Phan, Q-S, Phan, Quoc-Sang
core +1 more source
Directed Grey-box Fuzzing Test Technology Combining Mixed Symbolic Execution [PDF]
Jisuanji gongcheng, 2020 Directed Gray-box Fuzzing(DGF) test is a kind of fuzzing test technique which can quickly generate test cases to reach a given target area of the program and find vulnerabilities,but the existing DGF technique often fail to pass the checking statements ...
DAI Wei, LU Yuliang, ZHU Kailong
doaj +1 more source
Program Complexity Analysis Method Combining Evolutionary Algorithm with Symbolic Execution [PDF]
Jisuanji kexue, 2021 The worst case execution path is an important indicator of program complexity,which helps to discover possible complexity vulnerabilities in the system.In recent years,the application of symbolic execution in program complexity analysis has made great ...
ZHOU Sheng-yi, ZENG Hong-wei
doaj +1 more source
Verified symbolic execution with Kripke specification monads (and no meta-programming)
Proc. ACM Program. Lang., 2022 Verifying soundness of symbolic execution-based program verifiers is a significant challenge. This is especially true if the resulting tool needs to be usable outside of the proof assistant, in which case we cannot rely on shallowly embedded assertion ...
Steven Keuchel +3 more
semanticscholar +1 more source
Symbolic Execution as DPLL Modulo Theories [PDF]
, 2014 © Quoc-Sang Phan; licensed under Creative Commons License CC-BY. Imperial College Computing Student Workshop (ICCSW’14). Editors: Rumyana Neykova and Nicholas Ng; pp. 58–65. OpenAccess Series in Informatics.
Quoc-sang Phan +2 more
core +1 more source
Opaque Predicate Construction Algorithm Without Size Constraints [PDF]
Jisuanji kexue, 2023 Combined with opaque predicate,control flow obfuscation enables semantics-preserving transformations,which can achieve the purpose of code protection.However,existing opaque predicate is easily attacked by symbolic execution and has the problem of small ...
WANG Yufang, LE Deguang, Jack TAN, XIAO Le, GONG Shengrong
doaj +1 more source
Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
Network and Distributed System Security Symposium, 2021 Spectre are microarchitectural attacks which were made public in January 2018. They allow an attacker to recover secrets by exploiting speculations. Detection of Spectre is particularly important for cryptographic libraries and defenses at the software ...
Lesly-Ann Daniel +2 more
semanticscholar +1 more source
Symbolic types for lenient symbolic execution [PDF]
Proceedings of the ACM on Programming Languages, 2017 We present lambda_sym, a typed λ-calculus for lenient symbolic execution , where some language constructs do not recognize symbolic values. Its type system, however, ensures safe behavior of all symbolic values in a program.
Stephen Chang 0001 +2 more
openaire +1 more source
SEDGE: Symbolic Example Data Generation for Dataflow Programs [PDF]
, 2013 Exhaustive, automatic testing of dataflow (esp. map- reduce) programs has emerged as an important challenge. Past work demonstrated effective ways to generate small example data sets that exercise operators in the Pig platform, used to generate Hadoop ...
Kaituo Li +9 more
core +1 more source
Patch-Related Vulnerability Detection Based on Symbolic Execution
IEEE Access, 2017 During the lifecycle of a software system, software patches are committed to software repositories to fix discovered bugs or append new features. Unfortunately, the patches may bring new bugs or vulnerabilities, which could break the stability and ...
Weizhong Qiang +5 more
doaj +1 more source