Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 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
Abstract Interpretation for Block Diagrams - Two Case Studies
Christian Dernehl
,
Jan Kühn
,
S. Kowalewski
MoDeVVa@MoDELS
2016
Corpus ID: 8552459
Interpretation for Block Diagrams Two Case Studies
2016
2016
XENPWN : BREAKING PARAVIRTUALIZED DEVICES BLACK HAT USA 2016
Double Fetches
,
Intel Ept
,
Nested Virtualization
2016
Corpus ID: 4161001
2016
2016
Abstract Interpretation of MATLAB Code with Interval Sets
Christian Dernehl
,
N. Hansen
,
S. Kowalewski
FMICS-AVoCS
2016
Corpus ID: 44599804
In this paper we present how formal methods can be applied to MATLAB programs. We apply a static analysis based on abstract…
Expand
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
2013
2013
Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving
Thomas S. Heinze
,
W. Amme
,
Simon Moser
Central-European Workshop on Services and their…
2013
Corpus ID: 530389
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs…
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
2010
2010
Value Range Analysis of Executable Code Based on Abstract Interpretation
Yu Xian
2010
Corpus ID: 63032297
The abstract memory model and the abstract run-time environment of executable code are described.The data flow analysis is given…
Expand
2005
2005
Interprocedural Symbolic Range Propagation for Optimizing Compilers
H. Bae
,
Rudolf Eigenmann
International Workshop on Languages and Compilers…
2005
Corpus ID: 1895198
We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables…
Expand
Review
2002
Review
2002
2 Value Range Analysis
W. Harrison
2002
Corpus ID: 15619756
The knowledge of the precise range of variable values in a given program can be used in a variety of contexts, including compiler…
Expand
1998
1998
Binding Time Analysis for Bits CS-263 Course Project
E. Caspi
1998
Corpus ID: 2027695
Using a high level language (HLL) to specify a computation for synthesis in ASIC or FPGA hardware requires aggressive compiler…
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