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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
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
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
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
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
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
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
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
Highly Cited
1997
Highly Cited
1997
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
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?