Region-Based Selective Flow-Sensitive Pointer Analysis (English)
- New search for: Ye, Sen
- New search for: Sui, Yulei
- New search for: Xue, Jingling
- New search for: Ye, Sen
- New search for: Sui, Yulei
- New search for: Xue, Jingling
In:
Static Analysis
;
319-336
;
2014
- Article/Chapter (Book) / Electronic Resource
-
Title:Region-Based Selective Flow-Sensitive Pointer Analysis
-
Contributors:
-
Published in:Static Analysis ; 319-336Lecture Notes in Computer Science ; 8723 ; 319-336
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2014-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Block Me If You Can!Abdulla, Parosh Aziz / Haziza, Frédéric / Holík, Lukáš et al. | 2014
- 18
-
Peak Cost Analysis of Distributed SystemsAlbert, Elvira / Correas, Jesús / Román-Díez, Guillermo et al. | 2014
- 34
-
Backward Analysis via over-Approximate Abstraction and under-Approximate SubtractionBakhirkin, Alexey / Berdine, Josh / Piterman, Nir et al. | 2014
- 51
-
SawjaCard: A Static Analysis Tool for Certifying Java Card ApplicationsBesson, Frédéric / Jensen, Thomas / Vittet, Pierre et al. | 2014
- 68
-
Cyclic Abduction of Inductively Defined Safety and Termination PreconditionsBrotherston, James / Gorogiannis, Nikos et al. | 2014
- 85
-
Expectation Invariants for Probabilistic Program Loops as Fixed PointsChakarov, Aleksandar / Sankaranarayanan, Sriram et al. | 2014
- 101
-
An Abstract Domain to Infer Octagonal Constraints with Absolute ValueChen, Liqian / Liu, Jiangchao / Miné, Antoine / Kapur, Deepak / Wang, Ji et al. | 2014
- 118
-
Verifying Recursive Programs Using Intraprocedural AnalyzersChen, Yu-Fang / Hsieh, Chiao / Tsai, Ming-Hsien / Wang, Bow-Yaw / Wang, Farn et al. | 2014
- 134
-
Automatic Analysis of Open Objects in Dynamic Language ProgramsCox, Arlen / Chang, Bor-Yuh Evan / Rival, Xavier et al. | 2014
- 151
-
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential EquationsGhorbal, Khalil / Sogokon, Andrew / Platzer, André et al. | 2014
- 168
-
On Program Equivalence with ReductionsIooss, Guillaume / Alias, Christophe / Rajopadhye, Sanjay et al. | 2014
- 184
-
A Progress Bar for Static AnalyzersLee, Woosuk / Oh, Hakjoo / Yi, Kwangkeun et al. | 2014
- 201
-
Sparse Dataflow Analysis with Pointers and ReachabilityMadsen, Magnus / Møller, Anders et al. | 2014
- 219
-
Reactivity of Cooperative SystemsMandel, Louis / Pasteur, Cédric et al. | 2014
- 237
-
Synthesis of Memory Fences via Refinement PropagationMeshman, Yuri / Dan, Andrei / Vechev, Martin / Yahav, Eran et al. | 2014
- 253
-
Speeding Up Logico-Numerical Strategy IterationMonniaux, David / Schrammel, Peter et al. | 2014
- 268
-
Cost-Aware Automatic Program RepairSamanta, Roopsha / Olivo, Oswaldo / Emerson, E. Allen et al. | 2014
- 285
-
An Abstract Domain Combinator for Separately Conjoining Memory AbstractionsToubhans, Antoine / Chang, Bor-Yuh Evan / Rival, Xavier et al. | 2014
- 302
-
A Decision Tree Abstract Domain for Proving Conditional TerminationUrban, Caterina / Miné, Antoine et al. | 2014
- 319
-
Region-Based Selective Flow-Sensitive Pointer AnalysisYe, Sen / Sui, Yulei / Xue, Jingling et al. | 2014