Search results for "field-sensitive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Chris Lattner, Andrew Lenharth, Vikram S. Adve	Making context-sensitive points-to analysis with heap cloning practical for the real world.	PLDI	2007	DBLP DOI BibTeX RDF	field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural
27	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis of C.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	pointer analysis, Set-constraints
18	Antoine Miné	Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, numerical analysis, points-to analysis, critical software
18	Walter Allegretto, Arokia Nathan, Henry Baltes	Numerical analysis of magnetic-field-sensitive bipolar devices.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	Bo Huang, Xiang Ling, Guoqing Wu	Field-sensitive Function Pointer Analysis Using Field Propagation for State Graph Extraction.	J. Softw.	2013	DBLP DOI BibTeX RDF
17	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
17	Yehya H. Ghallab, Wael M. Badawy	Differential Electric Field Sensitive Field Effect Transistor - Characteristics, Modeling and Applications.	BIODEVICES (2)	2008	DBLP BibTeX RDF
13	Hybrid Nanostructures, Hiro Akinaga	High-Sensitive Magnetic-Field-Sensing Materials Composed of Metal/Semiconductor.	ICMENS	2003	DBLP DOI BibTeX RDF
12	Carlos Galindo 0002, Jens Krinke, Sergio Pérez 0001, Josep Silva	Field-sensitive program slicing.	J. Syst. Softw.	2024	DBLP DOI BibTeX RDF
12	So Shizukuishi, Yoshitaka Arahori, Katsuhiko Gondow	Field-sensitive Data Flow Integrity.	CoRR	2023	DBLP DOI BibTeX RDF
12	Carlos Galindo 0002, Jens Krinke, Sergio Pérez 0001, Josep Silva	Field-Sensitive Program Slicing.	SEFM	2022	DBLP DOI BibTeX RDF
12	Narges Khakpour	A Field-Sensitive Security Monitor for Object-Oriented Programs.	Comput. Secur.	2021	DBLP DOI BibTeX RDF
12	Huimin Huang, Zhenrong Zhang, Yang Yu 0032, Lingjun Zhou, Yuyu Tao, Guofeng Li, Junbo Yang	A Highly Magnetic Field Sensitive Photonic Crystal Fiber Based on Surface Plasmon Resonance.	Sensors	2020	DBLP DOI BibTeX RDF
12	Johannes Späth, Karim Ali 0001, Eric Bodden	Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
12	Yuxiang Lei, Yulei Sui	Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.	SAS	2019	DBLP DOI BibTeX RDF
12	Damiano Zanardini	Field-sensitive sharing.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
12	Yulei Sui, Xiaokang Fan, Hao Zhou 0009, Jingling Xue	Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization.	LCTES	2016	DBLP DOI BibTeX RDF
12	Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini	Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).	ASE	2015	DBLP DOI BibTeX RDF
12	Damiano Zanardini, Samir Genaim	Inference of Field-Sensitive Reachability and Cyclicity.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
12	Enrico Scapin, Fausto Spoto	Field-sensitive unreachability and non-cyclicity analysis.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
12	Chun-Ting Lin, Mao-Nan Chang, Yu-Wei Chen, Shu-Hung Tung, Nancy Chu, Chien-Nan Hsiao, Ming-Hua Shiao	Localized two-step galvanic replacement of a tip apex modification for field sensitive scanning probe microscopy.	NEMS	2014	DBLP DOI BibTeX RDF
12	Diana V. Ramírez-Deantes	Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java.		2011	RDF
12	Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv	Field-sensitive program dependence analysis.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
12	Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes	From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.	SAS	2010	DBLP DOI BibTeX RDF
12	Jürgen Graf 0001	Speeding Up Context-, Object- and Field-Sensitive SDG Generation.	SCAM	2010	DBLP DOI BibTeX RDF
12	Antoine Miné	Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics	CoRR	2007	DBLP BibTeX RDF
12	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis for C.	PASTE	2004	DBLP DOI BibTeX RDF	pointer analysis, set-constraints
9	Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
9	Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam	Improving software security with a C pointer analysis.	ICSE	2005	DBLP DOI BibTeX RDF	format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors
5	Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral	Forma: A framework for safe automatic array reshaping.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	reference analysis, data structure, Arrays
5	Saswat Anand, Alessandro Orso, Mary Jean Harrold	Type-Dependence Analysis and Program Transformation for Symbolic Execution.	TACAS	2007	DBLP DOI BibTeX RDF
5	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
5	Leonard J. Seligman, Arnon Rosenthal	XML's Impact on Databases and Data Sharing.	Computer	2001	DBLP DOI BibTeX RDF