Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,921,116 papers from all fields of science
Search
Sign In
Create Free Account
Value range analysis
In computing, in particular compiler construction, value range analysis is a type of data flow analysis that tracks the range (interval) of values…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Buffer overflow
Compiler
GNU Compiler Collection
Intel C++ Compiler
Expand
Broader (1)
Static program analysis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
XENPWN : BREAKING PARAVIRTUALIZED DEVICES BLACK HAT USA 2016
Double Fetches
,
Intel Ept
,
Nested Virtualization
2016
Corpus ID: 4161001
2015
2015
Static Value Range Analysis for Matlab/Simulink-Models
Christian Dernehl
,
N. Hansen
,
T. Gerlitz
,
S. Kowalewski
GI-Jahrestagung
2015
Corpus ID: 4855607
In this paper we present a static value range analysis of signals within function block diagrams developed with Matlab/Simulink…
Expand
2012
2012
Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information
Thomas S. Heinze
,
W. Amme
,
Simon Moser
,
Kai Gebhardt
Central-European Workshop on Services and their…
2012
Corpus ID: 1081973
In our previous work, we have introduced a technique to unfold the control flow in workflow graphs based upon static information…
Expand
2011
2011
Generalizing the Template Polyhedral Domain
Michael Colón
,
S. Sankaranarayanan
European Symposium on Programming
2011
Corpus ID: 12856776
Template polyhedra generalize weakly relational domains by specifying arbitrary fixed linear expressions on the left-hand sides…
Expand
2008
2008
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
A. Simon
2008
Corpus ID: 42730193
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C program…
Expand
2008
2008
XARK: An extensible framework for automatic recognition of computational kernels
Manuel Arenaz
,
J. Touriño
,
R. Doallo
TOPL
2008
Corpus ID: 16301738
The recognition of program constructs that are frequently used by software developers is a powerful mechanism for optimizing and…
Expand
2004
2004
Value Range Analysis of Conditionally Updated Variables and Pointers
J. Birch
,
R. Engelen
,
K. Gallivan
2004
Corpus ID: 6359451
Pointer-based array traversals are often used by C programmers to optimize sequential memory access. However, the use of pointer…
Expand
Highly Cited
2003
Highly Cited
2003
Efficient sequential atpg for functional rtl circuits
Liang Zhang
,
I. Ghosh
,
M. Hsiao
International Test Conference, . Proceedings. ITC…
2003
Corpus ID: 2000147
We present an efficient register-transfer level automatic test pattern generation (ATPG) algorithm. First, our ATPG generates a…
Expand
Highly Cited
2001
Highly Cited
2001
Efficient Symbolic Analysis for Optimizing Compilers
R. A. Engelen
International Conference on Compiler Construction
2001
Corpus ID: 6993152
Because most of the execution time of a program is typically spend in loops, loop optimization is the main target of optimizing…
Expand
Highly Cited
2000
Highly Cited
2000
Supporting Timing Analysis by Automatic Bounding of Loop Iterations
Christopher A. Healy
,
Mikael Sjödin
,
V. Rustagi
,
D. Whalley
,
R. A. Engelen
Real-time systems
2000
Corpus ID: 2858536
Static timing analyzers, which are used to analyze real-time systems, need to know the minimum and maximum number of iterations…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE