Search results for "path-sensitive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Hari Hampapuram, Yue Yang, Manuvir Das	Symbolic path simulation in path-sensitive dataflow analysis.	PASTE	2005	DBLP DOI BibTeX RDF	path feasibility, dataflow analysis, symbolic simulation
43	Nurit Dor, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001	Software validation via scalable path-sensitive value flow analysis.	ISSTA	2004	DBLP DOI BibTeX RDF	value flow, alias analysis, path-sensitive analysis
39	Wei Le, Mary Lou Soffa	Refining buffer overflow detection via demand-driven path-sensitive analysis.	PASTE	2007	DBLP DOI BibTeX RDF	path-sensitive, demand-driven, infeasible paths
37	Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum	Controlling factors in evaluating path-sensitive error detection techniques.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, empirical study, path-sensitive analysis
37	Manuvir Das, Sorin Lerner, Mark Seigle	ESP: Path-Sensitive Program Verification in Polynomial Time.	PLDI	2002	DBLP DOI BibTeX RDF	error detection, dataflow analysis, path-sensitive analysis
33	Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han	A Path Sensitive Type System for Resource Usage Verification of C Like Languages.	APLAS	2005	DBLP DOI BibTeX RDF
32	Dinakar Dhurjati, Manuvir Das, Yue Yang	Path-Sensitive Dataflow Analysis with Iterative Refinement.	SAS	2006	DBLP DOI BibTeX RDF
31	Thomas Ball, Sriram K. Rajamani	Bebop: a path-sensitive interprocedural dataflow engine.	PASTE	2001	DBLP DOI BibTeX RDF
31	Aditya V. Thakur, R. Govindarajan	Comprehensive path-sensitive data-flow analysis.	CGO	2008	DBLP DOI BibTeX RDF	destructive merge, split graph, data-flow analysis, precision, restructuring, path-sensitive, code duplication
30	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
28	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF
27	Wei Le, Mary Lou Soffa	Marple: a demand-driven path-sensitive buffer overflow detector.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF
27	Manel Fernández, Roger Espasa	Link-Time Path-Sensitive Memory Redundancy Elimination.	HPCA	2004	DBLP DOI BibTeX RDF
25	William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
24	Mary Lou Soffa	Path Sensitive Analysis for Security Flaws.	HASE	2008	DBLP DOI BibTeX RDF
24	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
21	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Path-Sensitive Inference of Function Precedence Protocols.	ICSE	2007	DBLP DOI BibTeX RDF
21	Yichen Xie 0001, Alexander Aiken	Context- and path-sensitive memory leak detection.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	program analysis, memory management, error detection, boolean satisfiability, memory leaks
19	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
19	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
19	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
19	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
18	Quan Phan, Gerda Janssens	Path-sensitive region analysis for mercury programs.	PPDP	2009	DBLP DOI BibTeX RDF	region analysis, region reuse, logic programming, region-based memory management, mercury
18	Xutao Du, Chunxiao Xing, Lizhu Zhou	Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	web service interface, verification, web service composition, reachability analysis
18	Sumit Gulwani, George C. Necula	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.	SAS	2004	DBLP DOI BibTeX RDF
17	Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang 0001	Path-sensitive sparse analysis without path conditions.	PLDI	2021	DBLP DOI BibTeX RDF
17	Komal Pathade, Uday P. Khedker	Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments.	CC	2019	DBLP DOI BibTeX RDF
12	Ryutaro Kodama, Yoshitaka Arahori, Katsuhiko Gondow	Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code.	CoRR	2023	DBLP DOI BibTeX RDF
12	Sen Yang, Sen Chen 0001, Lingling Fan 0003, Sihan Xu, Zhanwei Hui, Song Huang	Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis.	ICSE	2023	DBLP DOI BibTeX RDF
12	Shuitao Gan, Chao Zhang 0008, Xiaojun Qin, Xuwen Tu, Kang Li, Zhongyu Pei, Zuoning Chen	Path Sensitive Fuzzing for Native Applications.	IEEE Trans. Dependable Secur. Comput.	2022	DBLP DOI BibTeX RDF
12	Menghan Sun, Zirui Song, Xiaoxi Ren, Daoyuan Wu, Kehuan Zhang	LiCA: A Fine-grained and Path-sensitive Linux Capability Analysis Framework.	RAID	2022	DBLP DOI BibTeX RDF
12	Xiao Cheng 0002, Guanqin Zhang, Haoyu Wang 0001, Yulei Sui	Path-sensitive code embedding via contrastive learning for software vulnerability detection.	ISSTA	2022	DBLP DOI BibTeX RDF
12	Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu 0001	Path-sensitive and alias-aware typestate analysis for detecting OS bugs.	ASPLOS	2022	DBLP DOI BibTeX RDF
12	Tim Soethout, Tijs van der Storm, Jurgen J. Vinju	Path-Sensitive Atomic Commit - Local Coordination Avoidance for Distributed Transactions.	Art Sci. Eng. Program.	2021	DBLP DOI BibTeX RDF
12	Peisen Yao, Jinguo Zhou, Xiao Xiao 0003, Qingkai Shi, Rongxin Wu, Charles Zhang 0001	Efficient Path-Sensitive Data-Dependence Analysis.	CoRR	2021	DBLP BibTeX RDF
12	Bharti Chimdyalwar, Shrawan Kumar 0001	Selective path-sensitive interval analysis (WIP paper).	LCTES	2021	DBLP DOI BibTeX RDF
12	Ze Zhang, Sunghyun Park 0004, Scott A. Mahlke	Path Sensitive Signatures for Control Flow Error Detection.	LCTES	2020	DBLP DOI BibTeX RDF
12	Tim Soethout, Jurgen J. Vinju, Tijs van der Storm	Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report).	CoRR	2019	DBLP BibTeX RDF
12	Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, Weng-Fai Wong	ApproxSymate: path sensitive program approximation using symbolic execution.	LCTES	2019	DBLP DOI BibTeX RDF
12	Yuexing Wang, Min Zhou 0001, Ming Gu 0001, Jiaguang Sun 0001	Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.	APSEC	2019	DBLP DOI BibTeX RDF
12	Xutong Ma, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001	Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.	QRS	2019	DBLP DOI BibTeX RDF
12	Linjie Pan 0001, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan 0009, Jian Zhang 0001	Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.	ISSTA	2019	DBLP DOI BibTeX RDF
12	Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao 0003, Jinguo Zhou, Charles Zhang 0001	Smoke: scalable path-sensitive memory leak detection for millions of lines of code.	ICSE	2019	DBLP DOI BibTeX RDF
12	Tim Schmidt, Zhongqi Cheng, Rainer Dömer	Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation.	DATE	2018	DBLP DOI BibTeX RDF
12	Komal Pathade, Uday P. Khedker	Computing partially path-sensitive MFP solutions in data flow analyses.	CC	2018	DBLP DOI BibTeX RDF
12	Shuitao Gan, Chao Zhang 0008, Xiaojun Qin, Xuwen Tu, Kang Li, Zhongyu Pei, Zuoning Chen	CollAFL: Path Sensitive Fuzzing.	IEEE Symposium on Security and Privacy	2018	DBLP DOI BibTeX RDF
12	Peixuan Li, Danfeng Zhang	Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report.	CoRR	2017	DBLP BibTeX RDF
12	Peixuan Li, Danfeng Zhang	Towards a Flow- and Path-Sensitive Information Flow Analysis.	CSF	2017	DBLP DOI BibTeX RDF
12	Ren Ding 0001, Chenxiong Qian, Chengyu Song, William Harris, Taesoo Kim, Wenke Lee	Efficient Protection of Path-Sensitive Control Security.	USENIX Security Symposium	2017	DBLP BibTeX RDF
12	Elena Sherman, Brady J. Garvin, Matthew B. Dwyer	Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.	ACM Trans. Softw. Eng. Methodol.	2015	DBLP DOI BibTeX RDF
12	Tomasz Dudziak	Randomized Resource-Aware Path-Sensitive Static Analysis.	APLAS	2015	DBLP DOI BibTeX RDF
12	Kartik Nagar, Y. N. Srikant	Path Sensitive Cache Analysis Using Cache Miss Paths.	VMCAI	2015	DBLP DOI BibTeX RDF
12	Ahmed Tamrawi, Kang Gui, Suresh C. Kothari	Event-Flow Graphs for Efficient Path-Sensitive Analyses.	CoRR	2014	DBLP BibTeX RDF
12	Andreas Ibing	Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.	SEFM Workshops	2014	DBLP DOI BibTeX RDF
12	Sudipta Chattopadhyay 0001, Abhik Roychoudhury	Scalable and precise refinement of cache timing analysis via path-sensitive verification.	Real Time Syst.	2013	DBLP DOI BibTeX RDF
12	Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li	Path-Sensitive Data Flow Analysis Simplified.	ICFEM	2013	DBLP DOI BibTeX RDF
12	Jérémy Planul, John C. Mitchell	Oblivious Program Execution and Path-Sensitive Non-interference.	CSF	2013	DBLP DOI BibTeX RDF
12	Shan-Shan Hou, Chun Zhang, Dan Hao 0001, Lu Zhang 0023	PathART: path-sensitive adaptive random testing.	Internetware	2013	DBLP DOI BibTeX RDF
12	Duc-Hiep Chu, Joxan Jaffar	Path-sensitive resource analysis compliant with assertions.	EMSOFT	2013	DBLP DOI BibTeX RDF
12	Yunhui Zheng, Xiangyu Zhang 0001	Path sensitive static analysis of web applications for remote code execution vulnerability detection.	ICSE	2013	DBLP DOI BibTeX RDF
12	Julien Henry, David Monniaux, Matthieu Moy	PAGAI: A Path Sensitive Static Analyser.	TAPAS@SAS	2012	DBLP DOI BibTeX RDF
12	Julien Henry, David Monniaux, Matthieu Moy	PAGAI: a path sensitive static analyzer	CoRR	2012	DBLP BibTeX RDF
12	Xiujuan Ji, Jufeng Yang, Jing Xu 0008, Lei Feng, Xiaohong Li 0013	Interprocedural path-sensitive resource leaks detection for C programs.	Internetware	2012	DBLP DOI BibTeX RDF
12	Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa	Path-Sensitive Backward Slicing.	SAS	2012	DBLP DOI BibTeX RDF
12	Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew	SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA.	APLAS	2011	DBLP DOI BibTeX RDF
12	Isil Dillig, Thomas Dillig, Alex Aiken	Sound, complete and scalable path-sensitive analysis.	PLDI	2008	DBLP DOI BibTeX RDF	path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis
12	Tobias Gutzmann, Jonas Lundberg, Welf Löwe	Towards Path-Sensitive Points-to Analysis.	SCAM	2007	DBLP DOI BibTeX RDF
12	Delia I. S. Marx, Phyllis G. Frankl	Path-sensitive Alias Analysis for Data Flow Testing.	Softw. Test. Verification Reliab.	1999	DBLP DOI BibTeX RDF
12	Dirk Schmidt	Call path sensitive interprocedural alias analysis of C programs. (PDF / PS)		1999	RDF
12	Rastislav Bodík, Sadun Anik	Path-Sensitive Value-Flow Analysis.	POPL	1998	DBLP DOI BibTeX RDF
12	Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar	Joining dataflow with predicates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	counterexample analysis, model checking, dataflow analysis, predicate abstraction
11	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
10	Mangala Gowri Nanda, Saurabh Sinha	Accurate Interprocedural Null-Dereference Analysis for Java.	ICSE	2009	DBLP DOI BibTeX RDF
10	Domagoj Babic, Alan J. Hu	Calysto: scalable and precise extended static checking.	ICSE	2008	DBLP DOI BibTeX RDF	formal verification, static analysis, static checking
10	Dongxi Liu	Bytecode Verification for Enhanced JVM Access Control.	ARES	2007	DBLP DOI BibTeX RDF
10	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Termination proofs for systems code.	PLDI	2006	DBLP DOI BibTeX RDF	model checking, formal verification, program verification, program termination
10	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Verification of C Programs using Slicing Execution.	QSIC	2005	DBLP DOI BibTeX RDF
8	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Load-Reuse Analysis: Design and Evaluation.	PLDI	1999	DBLP DOI BibTeX RDF	data-flow analysis, program representations, profile-guided optimizations, register promotion
6	Thomas D. LaToza	Answering control flow questions about code.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	empirical study, program comprehension, dataflow analysis
6	Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin	Analysing memory resource bounds for low-level programs.	ISMM	2008	DBLP DOI BibTeX RDF	fixpoint analysis, heap space analysis, low level programs, stack space analysis
6	Yichen Xie 0001, Alex Aiken	Saturn: A scalable framework for error detection using Boolean satisfiability.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Program analysis, error detection, Boolean satisfiability
6	Paritosh Shroff, Christian Skalka, Scott F. Smith 0001	The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.	APLAS	2007	DBLP DOI BibTeX RDF	0CFA, program analysis, program verification, higher-order
6	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Static specification inference using predicate mining.	PLDI	2007	DBLP DOI BibTeX RDF	predicate mining, program analysis, preconditions, specification inference
6	Isil Dillig, Thomas Dillig, Alex Aiken	Static error detection using semantic inconsistency inference.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, error detection, satisfiability, inconsistency
6	Aaron Smith, Ramadass Nagarajan, Karthikeyan Sankaralingam, Robert G. McDonald, Doug Burger, Stephen W. Keckler, Kathryn S. McKinley	Dataflow Predication.	MICRO	2006	DBLP DOI BibTeX RDF
6	Brian Hackett, Alex Aiken	How is aliasing used in systems software?	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	program analysis, satisfiability, aliasing
6	Sriram Sankaranarayanan 0001, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
6	Xianghua Deng, Jooyong Lee, Robby	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.	ASE	2006	DBLP DOI BibTeX RDF
6	Yichen Xie 0001, Alexander Aiken	Scalable error detection using boolean satisfiability.	POPL	2005	DBLP DOI BibTeX RDF	program analysis, error detection, boolean satisfiability
6	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra 0001, John Field	Dependent Types for Program Understanding.	TACAS	2005	DBLP DOI BibTeX RDF
6	Jongman Kim, Dongkook Park, Chrysostomos Nicopoulos, Narayanan Vijaykrishnan, Chita R. Das	Design and analysis of an NoC architecture from performance, reliability and energy perspective.	ANCS	2005	DBLP DOI BibTeX RDF	reliability, networks-on-chip, adaptive routing
6	Zhiyuan Li 0001, Junjie Gu, Gyungho Lee	Interprocedural Analysis Based on Guarded Array Regions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF	array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
6	Deepankar Bairagi, Santosh Pande, Dharma P. Agrawal	A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors.	LCTES	2000	DBLP DOI BibTeX RDF
6	Deepankar Bairagi, Santosh Pande, Dharma P. Agrawal	A Framework for Efficient Register Allocation through Selective Register Demotion.	LCR	2000	DBLP DOI BibTeX RDF