Live variable analysis

Known as: Variable liveness, Live variable, Liveness analysis 
In compiler theory, live variable analysis (or simply liveness analysis) is a classic data-flow analysis performed by compilers to calculate for each… (More)
Wikipedia

Related topics

Related topics

8 relations
CompilerData-flow analysisDatalogDead code
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Scalable analysis of variable software
The advent of variability management and generator technology enables users to derive individual variants from a variable code… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2012
2012
Liveness-Based Pointer Analysis
Precise flowand context-sensitive pointer analysis (FCPA ) is generally considered prohibitively expensive for large progr ams… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Combining static and live digital forensic analysis in virtual environment
Traditional digital forensics is performed through static analysis of data preserved on permanent storage media. Not all data… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2007
2007
Symbolic Solver for Live Variable Analysis of High Level Design Languages
This paper presents an efficient binary decision di agram solver for live variable analysis of high level design languag es like… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Pin: building customized program analysis tools with dynamic instrumentation
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 2
  • table 1
Is this relevant?
2003
2003
Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation
Instrumentation-based profiling has many advantages and one serious disadvantage: usually high performance overhead. This… (More)
  • figure 1
  • figure 2
  • figure 4
  • table 1
  • table 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines
Full precision in garbage collection implies retaining only those heap allocated objects that will actually be used in the future… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
1998
1998
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems
 
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The Effects of the Precision of Pointer Analysis
In order to analyze programs that manipulate pointers, it is necessary to have safe information about what each pointer might… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
Extending Typestate Checking Using Conditional Liveness Analysis
We present a practical extension to typestate checking which is capable of proving programs free of uninitialized variable errors… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?