Results 11 to 20 of about 842,701 (337)
Memoized symbolic execution [PDF]
Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012 This paper introduces memoized symbolic execution (Memoise), a new approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths.
Guowei Yang 0001 +2 more
openaire +4 more sources
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 +3 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 +5 more sources
Symbolic execution formally explained
Formal Aspects of Computing, 2021 In this paper, we provide a formal explanation of symbolic execution in terms of a symbolic transition system and prove its correctness and completeness with respect to an operational semantics which models the execution on concrete values.We first ...
F. S. Boer, M. Bonsangue
semanticscholar +3 more sources
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
core +4 more sources
Symbolic execution: a semantic approach
Science of Computer Programming, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kneuper, Ralf
openaire +3 more sources
Applied Sciences, 2022 Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically.
Xinglu He, Pengfei Wang, Kai Lu, Xu Zhou
doaj +1 more source
Conference on Computer and Communications Security, 2023 Intel Security Guard Extensions (SGX) have shown effectiveness in critical data protection. Recent symbolic execution-based techniques reveal that SGX applications are susceptible to memory corruption vulnerabilities.
Yuanpeng Wang +8 more
semanticscholar +1 more source
On the Nature of Symbolic Execution [PDF]
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019 In the symbolic execution of a program real values are replaced by so-called symbolic values. Consequently, programming expressions cannot be evaluated, and thus the state, i.e., the assignment of values to program variables, in a symbolic execution is replaced by a substitution which assigns to each program variable an expression. The goal of symbolic
F.S. de Boer (Frank) +1 more
openaire +1 more source
Safe Neurosymbolic Learning with Differentiable Symbolic Execution [PDF]
International Conference on Learning Representations, 2022 We study the problem of learning worst-case-safe parameters for programs that use neural networks as well as symbolic, human-written code. Such neurosymbolic programs arise in many safety-critical domains.
Chenxi Yang, Swarat Chaudhuri
semanticscholar +1 more source