Results 11 to 20 of about 6,185 (261)
Symbolic Execution for JavaScript [PDF]
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018 We present a framework for trustworthy symbolic execution of JavaScripts programs, whose aim is to assist developers in the testing of their code: the developer writes symbolic tests for which the framework provides concrete counter-models. We create the framework following a new, general methodology for designing compositional program analyses for ...
José Fragoso Santos +4 more
openaire +1 more source
Symbolic execution for randomized programs
Proceedings of the ACM on Programming Languages, 2022 We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and can prove probabilistic properties that universally quantify over all possible inputs. Our technique augments standard symbolic execution with a new class of
Zachary Susag +3 more
openaire +2 more sources
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
Compact Symbolic Execution [PDF]
, 2013 This is a full version of the paper accepted to ATVA ...
Jiri Slaby, Jan Strejcek, Marek Trtík
openaire +2 more sources
Relational Symbolic Execution [PDF]
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, 2019 Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of relational properties - these are properties about two runs of two programs on related inputs, or about ...
Gian Pietro Farina +2 more
openaire +3 more sources
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
Directed Symbolic Execution [PDF]
, 2011 In this paper, we study the problem of automatically finding program executions that reach a particular target line. This problem arises in many debugging scenarios; for example, a developer may want to confirm that a bug reported by a static analysis tool on a particular line is a true positive.
Kin-Keung Ma +3 more
openaire +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
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
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