Abstract

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection
Jian Zhang ... Lian Li
-
Jian Zhang, et. al.Jian Zhang ... Lian Li
01 Dec 2017
Abstract Execution: Automatically Proving Infinitely Many Programs
-
20 Jun 2020
Symbolic Security Predicates: Hunt Program Weaknesses
Darya Parygina ... Eli Kobrin
-
Darya Parygina, et. al.Darya Parygina ... Eli Kobrin
01 Dec 2021
Context-sensitive detection of information exposure bugs with symbolic execution
Paul Muntean ... Andreas Ibing
-
Paul Muntean, et. al.Paul Muntean ... Andreas Ibing
16 Nov 2014
View more papers

More From: Programming and Computer Software

Paper Title
Journal
Date
Author
Primitive Elements of Free Non-associative Algebras over Finite Fields
M V Maisuradze ... A A Mikhalev
Programming and Computer Software | VOL. -
M V Maisuradze, et. al.M V Maisuradze ... A A Mikhalev
01 Apr 2024
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra
V I Kuzovatov ... E K Myshkina
Programming and Computer Software | VOL. -
V I Kuzovatov, et. al.V I Kuzovatov ... E K Myshkina
01 Apr 2024
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides
D V Divakov ... D A Starikov
Programming and Computer Software | VOL. -
D V Divakov, et. al.D V Divakov ... D A Starikov
01 Apr 2024
Implementation of Analytic Projective Geometry for Computer Graphics
M N Gevorkyan ... L A Sevast’Yanov
Programming and Computer Software | VOL. -
M N Gevorkyan, et. al.M N Gevorkyan ... L A Sevast’Yanov
01 Apr 2024
View more papers