BibSLEIGH — static analysis tag

static analysis

static analysis

Tag #static analysis

375 papers:

ICPC-2019-MarcilioBMCL0: Are static analysis violations really fixed?: a closer look at realistic usage of SonarQube (DM, RB, EM, EDC, WPL, GP0), pp. 209–219.
ICPC-2019-SchnappingerOPF #classification #learning #maintenance #predict #tool support: Learning a classifier for prediction of maintainability based on static analysis tools (MS, MHO, AP, AF), pp. 243–248.
MSR-2019-ImtiazRFW #challenge: Challenges with responding to static analysis tool alerts (NI, AR, EF, LW), pp. 245–249.
SANER-2019-LiuK0B #debugging #named #semantics: AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations (KL0, AK, DK0, TFB), pp. 456–467.
FM-2019-SinghPDD #detection #kernel: Static Analysis for Detecting High-Level Races in RTOS Kernels (AS, RP, DD, MD), pp. 337–353.
ECOOP-2019-SotiropoulosL #javascript #source code: Static Analysis for Asynchronous JavaScript Programs (TS, BL), p. 30.
OOPSLA-2019-SteinNCM #refinement: Static analysis with demand-driven value refinement (BS0, BBN, BYEC, AM), p. 29.
PLDI-2019-GershuniAGNNRRS #kernel #linux #precise: Simple and precise static analysis of untrusted Linux kernel extensions (EG, NA, AG, NN, JAN, NR, LR, MS), pp. 1069–1084.
POPL-2019-CyphertBKR #refinement: Refinement of path expressions for static analysis (JC, JB, ZK, TWR), p. 29.
POPL-2019-MeyerW #data type #memory management: Decoupling lock-free data structures from memory reclamation for static analysis (RM0, SW), p. 31.
SAS-2019-Naik #reasoning: Rethinking Static Analysis by Combining Discrete and Continuous Reasoning (MN), pp. 3–16.
SAS-2019-Urban: Static Analysis of Data Science Software (CU), pp. 17–23.
SAS-2019-VolkerK #heuristic #policy: A Change-Based Heuristic for Static Analysis with Policy Iteration (MV, SK), pp. 73–95.
ASE-2019-Li0G00 #fault #named #specification: Ares: Inferring Error Specifications through Static Analysis (CL, MZ0, ZG, MG0, HZ0), pp. 1174–1177.
ASE-2019-MaYLYZ #c++ #fault #named #pointer #source code: SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.
ASE-2019-PaulsenSPW #named: Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation (BP, CS, PAHP, CW), pp. 899–911.
ESEC-FSE-2019-BavishiYP #automation #data-driven #named #synthesis: Phoenix: automated data-driven synthesis of repairs for static analysis violations (RB, HY, MRP), pp. 613–624.
ESEC-FSE-2019-NielsenHG #named: Nodest: feedback-driven static analysis of Node.js applications (BBN, BH, FG), pp. 455–465.
GPCE-2019-Dimovski #abstract domain #diagrams #using: Lifted static analysis using a binary decision diagram abstract domain (ASD), pp. 102–114.
ESOP-2019-BoutillierCF #semantics #simulation: Counters in Kappa: Semantics, Simulation, and Static Analysis (PB, IC, JF), pp. 176–204.
ESOP-2019-ChopraPD #kernel: Data Races and Static Analysis for Interrupt-Driven Kernels (NC, RP, DD), pp. 697–723.
FASE-2019-ParkJR #automation #javascript #modelling: Automatic Modeling of Opaque Code for JavaScript Static Analysis (JP, AJ, SR), pp. 43–60.
ICST-2019-KocWFCP #assessment #empirical #java #machine learning: An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool (UK, SW, JSF, MC, AAP), pp. 288–299.
ICST-2019-LeeHYKKY #integration #network #using: Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks (SL, SH, JY, TK, CJK, SY), pp. 391–401.
VMCAI-2019-BallabrigaFGLR #memory management #using: Static Analysis of Binary Code with Memory Indirections Using Polyhedra (CB, JF, LG, GL, JR), pp. 114–135.
ICPC-2018-TymchukGN #developer #feedback #jit #what: JIT feedback: what experienced developers like about static analysis (YT, MG, ON), pp. 64–73.
SANER-2018-VassalloPPPZG #developer #tool support: Context is king: The developer perspective on the usage of static analysis tools (CV, SP, FP, SP, AZ, HCG), pp. 38–49.
PLDI-2018-WangHR #algebra #framework #named #probability #source code: PMAF: an algebraic framework for static analysis of probabilistic programs (DW, JH0, TWR), pp. 513–528.
SAS-2018-JournaultMO #c #composition #source code #string: Modular Static Analysis of String Manipulations in C Programs (MJ, AM, AO), pp. 243–262.
SAS-2018-MidtgaardNN #process: Process-Local Static Analysis of Synchronous Processes (JM, FN, HRN), pp. 284–305.
ESEC-FSE-2018-DoB: Gamifying static analysis (LNQD, EB), pp. 714–718.
ESEC-FSE-2018-FooCYAS #library #performance: Efficient static checking of library updates (DF, HC, JY, MYA, AS), pp. 791–796.
ESEC-FSE-2018-LeeHO #c #fault #memory management #named: MemFix: static analysis-based repair of memory deallocation errors for C (JL, SH, HO), pp. 95–106.
ESEC-FSE-2018-QuerelR #debugging #modelling #named #statistics: WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings (LPQ, PCR), pp. 892–895.
ESEC-FSE-2018-ZhaoARJO #android #communication: Neural-augmented static analysis of Android communication (JZ, AA, VR, SJ, DO), pp. 342–353.
ASPLOS-2018-DavidPY #detection #named #precise: FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware (YD, NP, EY), pp. 392–404.
ASPLOS-2018-DevecseryCFN #dynamic analysis #hybrid: Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis (DD, PMC, JF, SN), pp. 348–362.
ASPLOS-2018-HuN #android #detection: Static Detection of Event-based Races in Android Apps (YH, IN), pp. 257–270.
ESOP-2018-WeiMRF0 #design #java #trade-off: Evaluating Design Tradeoffs in Numeric Static Analysis for Java (SW, PM, AR, JSF, MH0), pp. 653–682.
CAV-2018-GrishchenkoMS #contract #tool support: Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.
ICSME-2017-AlorainiN #android #fault #open source #state of the art #tool support: Evaluating State-of-the-Art Free and Open Source Static Analysis Tools Against Buffer Errors in Android Apps (BA, MN), pp. 295–306.
SANER-2017-BuckersCDGWBZ #automation #multi #named #tool support: UAV: Warnings from multiple Automated Static Analysis Tools at a glance (TB, CC, MD, BG, SW, MB, AZ), pp. 472–476.
SCAM-2017-AtzenhoferP #automation #java #library: Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis (TA, RP), pp. 141–146.
ECOOP-2017-SaleilF #higher-order #interprocedural: Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (BS, MF), p. 23.
ECOOP-2017-StievenartNMR #abstraction #source code: Mailbox Abstractions for Static Analysis of Actor Programs (QS, JN, WDM, CDR), p. 30.
OOPSLA-2017-ZhangGSN #effectiveness #interactive: Effective interactive resolution of static analysis alarms (XZ, RG, XS, MN), p. 30.
PLDI-2017-RhodesFF #concurrent #detection #named: BigFoot: static check placement for dynamic race detection (DR, CF, SNF), pp. 141–156.
POPL-2017-AssafNSTT #data flow #semantics: Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.
SAS-2017-OuadjaoutM #communication #markov #protocol #using: Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains (AO, AM), pp. 277–298.
SAS-2017-SoO #imperative #source code: Synthesizing Imperative Programs from Examples Guided by Static Analysis (SS, HO), pp. 364–381.
ASE-2017-ChenODL #detection #web: Static detection of asymptotic resource side-channel vulnerabilities in web applications (JC, OO, ID, CL), pp. 229–239.
ASE-2017-WangZJS0S #optimisation #reachability: A static analysis tool with optimizations for reachability determination (YW, MZ0, YJ0, XS, MG0, JS), pp. 925–930.
ESEC-FSE-2017-GarbervetskyP0M #big data #optimisation #query: Static analysis for optimizing big data queries (DG, ZP, MB0, MM, TM, EZ), pp. 932–937.
ESEC-FSE-2017-GarbervetskyZL #distributed #towards: Toward full elasticity in distributed static analysis: the case of callgraph analysis (DG, EZ, BL), pp. 442–453.
ESEC-FSE-2017-KusanoW #memory management #modelling #thread: Thread-modular static analysis for relaxed memory models (MK, CW0), pp. 337–348.
ESEC-FSE-2017-Pashchenko #benchmark #difference #metric #security #testing #tool support: FOSS version differentiation as a benchmark for static analysis security testing tools (IP), pp. 1056–1058.
ESEC-FSE-2017-WeiLC #android #named: OASIS: prioritizing static analysis warnings for Android apps based on app user reviews (LW, YL, SCC), pp. 672–682.
ICSE-2017-HeoOY: Machine-learning-guided selectively unsound static analysis (KH, HO, KY), pp. 519–529.
ICSE-2017-LandmanSV #challenge #empirical #java #overview: Challenges for static analysis of Java reflection: literature review and empirical study (DL, AS, JJV), pp. 507–518.
ICST-2017-MilewiczP #model checking #named: Ariadne: Hybridizing Directed Model Checking and Static Analysis (RM, PP), pp. 442–447.
VMCAI-2017-BotbolCG #communication #process #transducer #using: Static Analysis of Communicating Processes Using Symbolic Transducers (VB, EC, TLG), pp. 73–90.
ICPC-2016-MetcalfFYF #interactive #parametricity #using: Extracting configuration parameter interactions using static analysis (CAM, FF, TY, JF), pp. 1–4.
ICSME-2016-BarikSJM #design: From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration (TB, YS, BJ, ERMH), pp. 211–221.
SANER-2016-BellerBMZ #evaluation #open source #scalability: Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software (MB, RB, SM, AZ), pp. 470–481.
SANER-2016-Ostberg0 #automation: At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis (JPO, SW0), pp. 629–633.
SCAM-2016-MuskeS #overview: Survey of Approaches for Handling Static Analysis Alarms (TM, AS), pp. 157–166.
SCAM-2016-StievenartVMR #composition #framework #named: Scala-AM: A Modular Static Analysis Framework (QS, MV, WDM, CDR), pp. 85–90.
IFM-2016-AlbertGI #concurrent #detection #testing: Combining Static Analysis and Testing for Deadlock Detection (EA, MGZ, MI), pp. 409–424.
AdaEurope-2016-MittermayrB #ada #algebra: Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.
POPL-2016-OcteauJDMB0KT #android #component #modelling #probability: Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis (DO, SJ, MD, PDM, AB, LL0, JK, YLT), pp. 469–484.
PPDP-2016-StulovaMH #runtime: Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.
SAS-2016-HeoOY #clustering #learning: Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis (KH, HO, HY), pp. 237–256.
SAS-2016-JournaultM #abstract interpretation #correctness #functional #matrix #source code: Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs (MJ, AM), pp. 257–277.
ASE-2016-ChenBHZ0XM: Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.
ASE-2016-LeeDR #android #framework #hybrid #named: HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
ASE-2016-LiBOK #android: Reflection-aware static analysis of Android apps (LL, TFB, DO, JK), pp. 756–761.
ASE-2016-WuLDYZ #android #detection #effectiveness #named: Relda2: an effective static analysis tool for resource leak detection in Android apps (TW, JL, XD, JY, JZ), pp. 762–767.
FSE-2016-Barik #developer #how #question #tool support: How should static analysis tools explain anomalies to developers? (TB), pp. 1118–1120.
FSE-2016-WeiTRD #javascript #locality: Revamping JavaScript static analysis via localization and remediation of root causes of imprecision (SW, OT, BGR, JD), pp. 487–498.
ASPLOS-2016-BrownNE #how #order #using: How to Build Static Checking Systems Using Orders of Magnitude Less Code (FB, AN, DRE), pp. 143–157.
CC-2016-WuYR #android #detection #energy #fault: Static detection of energy defect patterns in Android applications (HW, SY, AR), pp. 185–195.
TAP-2016-MakhloufTPS #graph transformation: Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (AM, HNT, CP, MS), pp. 183–190.
VMCAI-2016-KidoCH #abstract interpretation #scalability #standard #towards: Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis (KK, SC, IH), pp. 229–249.
ICSME-2015-DongAS #fault #using: Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.
ICSME-2015-DorningerPK #industrial #user interface #using: Using static analysis for knowledge extraction from industrial User Interfaces (BD, JP, AK), pp. 497–500.
SANER-2015-MuskeB #on the #tool support: On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SANER-2015-PanichellaAPA #code review #developer #question #tool support: Would static analysis tools help developers with code reviews? (SP, VA, MDP, GA), pp. 161–170.
FM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #using: Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.
ECOOP-2015-HauzarK #framework #php: Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
ECOOP-2015-ParkR #javascript #precise #scalability: Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
OOPSLA-2015-MadsenTL #javascript: Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
PLDI-2015-OlivoDL #debugging #detection #performance #traversal: Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
PPDP-2015-GarciaLL: Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
SAS-2015-AldousM #low level: Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
SAS-2015-LeeHYC: Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.
ASE-2015-BarrosJMVDdE #android #control flow #java: Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.
ASE-2015-KoLDR #framework #javascript #scalability: Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.
ASE-2015-ParkWJR #javascript #modelling #web: Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) (CP, SW, JJ, SR), pp. 552–562.
ESEC-FSE-2015-SmithJMCL #developer #security: Questions developers ask while diagnosing potential security vulnerabilities with static analysis (JS, BJ, ERMH, BC, HRL), pp. 248–259.
ICSE-v1-2015-AvgustinovBHLMM #developer: Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
ESOP-2015-ChengR #detection #spreadsheet: Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
TACAS-2015-ArmandoBCCMMM #framework #mobile #named #platform #security #verification: SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
CSL-2015-SchwentickVZ #source code: Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICST-2015-MidtgaardM: QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.
MSR-2014-HanamTHL #ranking: Finding patterns in static analysis alerts: improving actionable alert ranking (QH, LT, RH, PL), pp. 152–161.
SEFM-2014-BratNSV #abstract interpretation #framework #named: IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
SEFM-2014-DeganoFG #adaptation #reliability: A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
ICGT-2014-AnjorinLST #graph grammar #model transformation #performance: A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
SEKE-2014-ChenHQJ #performance #using: Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.
OOPSLA-2014-AndreasenM: Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.
OOPSLA-2014-BrutschyF0 #developer #independence: Static analysis for independent app developers (LB, PF, PM), pp. 847–860.
AdaEurope-2014-BurgstallerB #ada #algebra #source code: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
PEPM-2014-KerneisSH #continuation #named #performance: QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
SAS-2014-BessonJV #java #named: SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
FSE-2014-Banerjee #energy #performance #testing: Static analysis driven performance and energy testing (AB), pp. 791–794.
FSE-2014-FengADA #android #detection #named #semantics: Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
FSE-2014-KashyapDKWGSWH #framework #javascript #named #platform: JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
FASE-2014-MudduluruR #abstraction #incremental #performance #using: Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
WRLA-2014-Genet #automaton #functional #source code #towards #using: Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
CAV-2014-AlglaveKNP #approach #automation: Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
CAV-2014-SinnZV #bound #complexity #scalability: A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (MS, FZ, HV), pp. 745–761.
CSMR-2013-Nagy #data-driven: Static Analysis of Data-Intensive Applications (CN), pp. 435–438.
SCAM-2013-MuskeBS #clustering #overview #reduction: Review efforts reduction by partitioning of static analysis warnings (TBM, AB, TS), pp. 106–115.
WCRE-2013-FryW #clustering #fault #maintenance: Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.
ICALP-v2-2013-PetricekOM #named: Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.
SEFM-2013-SalehKBW #detection #fault #implementation #specification #using: Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.
SEFM-2013-TranST #composition #transaction: Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
OOPSLA-2013-TetaliLMM #named: MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
PLDI-2013-SankaranarayananCG #probability #source code: Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
SAS-2013-Goubault #abstract interpretation #source code: Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SAS-2013-Sankaranarayanan: Static Analysis in the Continuously Changing World (SS), pp. 4–5.
ESEC-FSE-2013-KumarN #tool support: The economics of static analysis tools (RK, AVN), pp. 707–710.
ESEC-FSE-2013-MadsenLF #framework #javascript #library: Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ICSE-2013-Balachandran #automation #code review #quality #recommendation #using: Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation (VB), pp. 931–940.
ICSE-2013-JohnsonSMB #debugging #developer #question #tool support #why: Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSE-2013-ZhengZ #detection #execution #web: Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
SAC-2013-ChenLWW #abstraction #source code: Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
CGO-2013-PienaarH #javascript #memory management #named: JSWhiz: Static analysis for JavaScript memory leaks (JAP, RH), p. 11.
CAV-2013-FarzanK #bound #named #parallel: Duet: Static Analysis for Unbounded Parallelism (AF, ZK), pp. 191–196.
ISSTA-2013-HillsKV #empirical #perspective #php: An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.
VMCAI-2013-DAntoniV #string: Static Analysis of String Encoders and Decoders (LD, MV), pp. 209–228.
PODS-2012-LetelierPPS #optimisation #query #semantics #web: Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.
WCRE-2012-Kinder #obfuscation #towards: Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.
IFM-2012-ZhangNN #model checking #revisited: Model Checking as Static Analysis: Revisited (FZ, FN, HRN), pp. 99–112.
ICML-2012-McAfeeO #code generation #network: Utilizing Static Analysis and Code Generation to Accelerate Neural Networks (LCM, KO), p. 192.
ECOOP-2012-DohertyH #framework #matlab #named: McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
ECOOP-2012-XuYR #data type #detection #invariant: Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
PLDI-2012-KruijfSJ #compilation #design: Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
SAS-2012-GoubaultPV #composition: Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
ICSE-2012-Johnson #case study #question #tool support #using #why: A study on improving static analysis tools: Why are we not using them? (BJ), pp. 1607–1609.
ICSE-2012-SunSPR #mining: Extending static analysis by mining project-specific rules (BS, GS, AP, BR), pp. 1054–1063.
ICSE-2012-Vetro #automation #identification #technical debt #using: Using automatic static analysis to identify technical debt (AV), pp. 1613–1615.
ICSE-2012-ZhengZ #detection #problem: Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.
SAC-2012-MannS #android #detection #framework #privacy: A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SAC-2012-ZanioliFC #information management #named: SAILS: static analysis of information leakage with sample (MZ, PF, AC), pp. 1308–1313.
CC-2012-KwonS #component #detection: Static Detection of Unsafe Component Loadings (TK, ZS), pp. 122–143.
DATE-2012-Chaturvedi: Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.
LCTES-2012-SallenaveD #embedded #lightweight: Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
CAV-2012-HasuoS #hybrid #standard: Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
ICST-2012-Kannavara #source code: Securing Opensource Code via Static Analysis (RK), pp. 429–436.
ICST-2012-VorobyovK #automation #constraints #generative #testing #theorem proving: Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ISSTA-2012-PradelHG #detection #parametricity #type system: Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.
VMCAI-2012-LeeLY #clustering #statistics: Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
WCRE-2011-SeppMS #precise #relational: Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.
CEFP-2011-TothB #erlang: Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.
ECOOP-2011-DietlEM: Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
PADL-2011-ChristakisS #detection #fault #message passing #using: Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
POPL-2011-ChoiAYT #multi #source code: Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.
POPL-2011-SchwarzSVLM #protocol #source code: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
SAS-2011-MightH #abstract interpretation #concurrent #higher-order #product line #source code: A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (MM, DVH), pp. 180–197.
ESEC-FSE-2011-JensenMM #api #html #javascript #modelling #web: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.
GTTSE-2011-Fuhrer #ide: Leveraging Static Analysis in an IDE (RMF), pp. 101–158.
ICSE-2011-BoddenSSOM: Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
GPCE-2011-HannousseDA #component #composition #interactive #modelling: Static analysis of aspect interaction and composition in component models (AH, RD, GA), pp. 43–52.
LCTES-2011-GamatieG #design #embedded #multi #performance #source code: Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
ESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
CADE-2011-PayetS #android #source code: Static Analysis of Android Programs (ÉP, FS), pp. 439–445.
VMCAI-2011-DonaldsonHK #lightweight: Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
VMCAI-2011-GoubaultP #finite #precise: Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
ICSM-2010-CeccatoT #consistency #legacy #migration #thread: Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.
ICSM-2010-Letarte #interprocedural #model checking #performance: Conversion of fast inter-procedural static analysis to model checking (DL), pp. 1–2.
SCAM-2010-KesterMB #concurrent #debugging #how #question: How Good is Static Analysis at Finding Concurrency Bugs? (DK, MM, JSB), pp. 115–124.
SCAM-2010-LuoHDQ #concurrent #debugging #effectiveness #java: Effective Static Analysis to Find Concurrency Bugs in Java (ZDL, LH, RD, YQ), pp. 135–144.
WCRE-2010-MilanovaL #comprehension #concurrent #java #source code: Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs (AM, YL), pp. 45–54.
FLOPS-2010-Sagonas #concurrent #detection #erlang #fault #source code #using: Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs (KFS), pp. 13–18.
PADL-2010-ChristakisS #detection #erlang: Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
SAS-2010-DilligDA #constraints #online #scalability #source code: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis (ID, TD, AA), pp. 236–252.
SAS-2010-Lesens #question #using #why: Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.
SIGAda-2010-JemliR #compilation #problem #using: A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.
ASE-2010-LiangWWWXM #automation #effectiveness #set: Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
DATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #using: GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
OSDI-2010-Chlipala #policy #security: Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.
ESOP-2010-AdjeGG #invariant #policy: Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
FoSSaCS-2010-NielsonN #logic #model checking: Model Checking Is Static Analysis of Modal Logic (FN, HRN), pp. 191–205.
TAP-2010-ChebaroKGJ #c #debugging #generative #testing: Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
SIGMOD-2009-ChaudhuriNS #profiling #using: Bridging the application and DBMS divide using static analysis and dynamic profiling (SC, VRN, MS), pp. 1039–1042.
ICPC-2009-LiuM: Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
WCRE-1999-KrishnamoorthyDF99a #detection #fault: Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.
ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml: Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
PADL-2009-TranNPS #consistency #declarative #performance #specification: Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
PLDI-2009-RavitchJAL #automation #generative #library #using: Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
SAS-2009-DohKS #parsing #string #using: Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
SAC-2009-JamesC #ml #multi: Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
DATE-2009-LeeS #fault: Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.
FASE-2009-ChenWYS #detection #named: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.
TACAS-2009-NoriRTT #testing: The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
TACAS-2009-OrzanWW #equation: Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
CAV-2009-JeannetM #abstract domain #library #named: Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
ICST-2009-HeckmanW #identification #process: A Model Building Process for Identifying Actionable Static Analysis Alerts (SSH, LAW), pp. 161–170.
ICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #tool support: The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.
PODS-2008-AbiteboulSV #xml: Static analysis of active XML systems (SA, LS, VV), pp. 221–230.
PASTE-2008-KhooFHS #tool support: Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.
PASTE-2008-LiuM #data flow: Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
SCAM-2008-Anderson #industrial: 90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications (PA), pp. 3–12.
SEFM-2008-Ferrara #parallel #source code #thread: Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
SEKE-2008-Shaffer #domain model #security #source code #verification: A Security Domain Model for Static Analysis and Verification of Software Programs (ABS), pp. 673–678.
MoDELS-2008-YuFR #modelling #uml: Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
MoDELS-2008-YuFR #modelling #uml: Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
OOPSLA-2008-DagenaisH #java #source code: Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.
LOPSTR-2008-LeuschelLOST #csp #specification: The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.
SAS-2008-Liblit #debugging: Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.
ASE-2008-KollmannG #specification #student: A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.
ASE-2008-RakamaricH #automation #axiom #using: Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
ICSE-2008-BabicH #named #precise #scalability: Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.
ICSE-2008-RuthruffPMER #approach #predict: Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
ICSE-2008-WassermannS #detection: Static detection of cross-site scripting vulnerabilities (GW, ZS), pp. 171–180.
CAV-2008-KinderV #framework #named #platform: Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.
TAP-2008-Ferrara #abstract interpretation #memory management: Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
CSMR-2007-Staiger #source code #user interface #visual notation: Static Analysis of Programs with Graphical User Interface (SS), pp. 252–264.
PASTE-2007-AyewahPMPZ #fault: Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.
PASTE-2007-FosterHP #quality: Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.
IFM-2007-PostK #linux #verification: Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
SEKE-2007-ShiN #component #java #named #security: SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.
OOPSLA-2007-ElkarabliehKVM #named #performance: Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.
AdaEurope-2007-BliebergerBM #ada #detection #multi #source code: Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
PADL-2007-MeraLPCH #execution #profiling: Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
PLDI-2007-GenevesLS #performance #xml: Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.
POPL-2007-WiedermannC #persistent #query: Extracting queries by static analysis of transparent persistence (BW, WRC), pp. 199–210.
PPDP-2007-Sagonas #detection #erlang #fault #source code #using: Detecting defects in Erlang programs using static analysis (KFS), p. 37.
SAS-2007-BauerW #abstraction #communication: Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
SAS-2007-GopanR: Guided Static Analysis (DG, TWR), pp. 349–365.
SIGAda-2007-Black: Static analysis summit II (PEB), pp. 101–107.
SIGAda-2007-Dewar #compilation: The compiler as a static analysis tool (RBKD), pp. 83–88.
ASE-2007-DwyerP #cost analysis #dynamic analysis #type system: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
ESEC-FSE-2007-SherriffHLW #identification #using: Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.
ESOP-2007-GaubertGTZ #policy #relational: Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
SCAM-2006-BinkleyHK #animation #approximate: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
FM-2006-AiguierBG #interactive #specification: Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
SEFM-2006-Khedker #perspective #source code: Static Analysis of Programs: A Heap Centric View (UPK), p. 261.
Haskell-2006-Xu #haskell: Extended static checking for haskell (DNX), pp. 48–59.
ICFP-2006-FisherS #syntax: Static analysis for syntax objects (DF, OS), pp. 111–121.
AdaEurope-2006-BreuerP #fault #kernel #linux #source code: One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.
AdaEurope-2006-BurgstallerBM #ada #detection: Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
PLDI-2006-GuyerMF #automation #named: Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.
QAPL-2006-SotinCJ #behaviour #java: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
SAS-2006-AllamigeonGH #c #embedded #source code #string: Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
SAS-2006-Das #power of: Unleashing the Power of Static Analysis (MD), pp. 1–2.
SAS-2006-GoubaultP #algorithm: Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.
SAS-2006-KirkegaardM #java: Static Analysis for Java Servlets and JSP (CK, AM), pp. 336–352.
SAS-2006-SankaranarayananISG: Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
ASE-2006-AcharyaSXX #effectiveness #generative #interface #robust: Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.
ICSE-2006-HeineL #detection #polymorphism: Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.
ICSE-2006-ManoliosV #proving #termination #theorem proving: Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
SAC-2006-Capron #bound: Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.
ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #using: Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.
ICSM-2005-SharpR #java: Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.
PASTE-2005-HovemeyerSP #debugging #null #pointer: Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.
PASTE-2005-PrivatD #compilation #object-oriented #performance: Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.
SCAM-2005-ShiN #component #java: Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.
SEFM-2005-WandelerJLT #automaton #interface #modelling: Counting Interface Automata and their Application in Static Analysis of Actor Models (EW, JWJ, EAL, LT), pp. 106–116.
IFL-2005-BradyH #execution #framework: A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
VISSOFT-2005-ClearyGEB #eclipse #plugin #visualisation: A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.
SAS-2005-Abramsky #algorithm #game studies #semantics: Algorithmic Game Semantics and Static Analysis (SA), p. 1.
ICSE-2005-CsallnerS #testing: Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.
ICSE-2005-NagappanB05a #fault #tool support: Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.
PPoPP-2005-WangS #source code: Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.
CAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code: A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
VMCAI-2005-Bertrane #abstract interpretation #composition #source code: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.
PASTE-2004-RountevKG: Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.
ICFP-2004-HermanM #embedded #partial evaluation: Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
OOPSLA-2004-GuyerM: Finding your cronies: static analysis for dynamic object colocation (SZG, KSM), pp. 237–250.
SAS-2004-HymansU #data flow #dependence #graph: Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
FSE-2004-ManevichSA #named: PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.
FSE-2004-ZitserLL #open source #source code #testing #tool support #using: Testing static analysis tools using exploitable buffer overflows from open source code (MZ, RL, TL), pp. 97–106.
ICSE-2004-GouldSD #database #query: Static Checking of Dynamically Generated Queries in Database Applications (CG, ZS, PTD), pp. 645–654.
ICSE-2004-GouldSD04a #sql: JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (CG, ZS, PTD), pp. 697–698.
ESOP-2004-Feret: Static Analysis of Digital Filters (JF), pp. 33–48.
FASE-2004-GhezziMP #type system: Enhancing Remote Method Invocation through Type-Based Static Analysis (CG, VM, GPP), pp. 339–353.
VMCAI-2004-EnglerM #debugging #model checking: Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.
SCAM-2003-Martel #clustering: Improving the Static Analysis of Loops by Dynamic Partitioning Techniques (MM), pp. 13–21.
POPL-2003-BouajjaniET #approach #concurrent #source code: A generic approach to the static analysis of concurrent programs with procedures (AB, JE, TT), pp. 62–73.
SAS-2003-ChongR #data type #recursion: Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
SAS-2003-KremenekE #approximate #named #statistics #using: Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.
DAC-2003-AgostaBS #modelling #transaction: Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.
DAC-2003-FangRPC #modelling #performance #towards: Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling (CFF, RAR, MP, TC), pp. 496–501.
SOSP-2003-EnglerA #detection #effectiveness #named: RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
ESOP-2003-Leroy #perspective #programming language #security: Computer Security from a Programming Language and Static Analysis Perspective (XL), pp. 1–9.
ESOP-2003-RepsSL #difference #finite #logic: Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
FASE-2003-Young #testing: Symbiosis of Static Analysis and Program Testing (MY), pp. 1–5.
VMCAI-2003-CatanoH #ml #named: CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
VMCAI-2003-Masse #abstract interpretation: Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.
PASTE-2002-ChelfEH #how: How to write system-specific, static checkers in metal (BC, DRE, SH), pp. 51–60.
SCAM-2002-ChangJH #exception #java #using #visualisation: Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
FME-2002-CatanoH #java #specification #using: Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
RTA-2002-KennawayKP #composition #λ-calculus: Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
OOPSLA-2002-ZeeR: Write barrier removal by static analysis (KZ, MCR), pp. 191–210.
PLDI-2002-FlanaganLLNSS #java: Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
POPL-2002-BallR #debugging: The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.
SAS-2002-Esparza #algebra #approach #concurrent: An Algebraic Approach to the Static Analysis of Concurrent Software (JE), p. 3.
SAS-2002-ManevichRFGS #first-order #representation: Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.
SAS-2002-Martel: Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.
FSE-2002-NimmerE #invariant: Invariant inference for static checking (JWN, MDE), pp. 11–20.
ICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
ECOOP-2001-PolletCC #java #source code: Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
LOPSTR-2001-Shankar #functional: Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.
SAS-2001-Feret #abstract interpretation #mobile: Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.
SAS-2001-Leino: Applications of Extended Static Checking (KRML), pp. 185–193.
SAS-2001-MesnardN #logic programming #source code #termination: Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
SAS-2001-Wagner #assurance: Static Analysis and Software Assurance (DW), p. 431.
ASE-2001-BratV #model checking: Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.
ICSE-2001-BrylowDP: Static Checking of Interrupt-Driven Software (DB, ND, JP), pp. 47–56.
PDP-2001-Girault #algorithm: Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm (AG), pp. 178–185.
UML-2000-AbdurazikO #collaboration #diagrams #generative #testing #uml #using: Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.
TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code: Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
PADL-2000-MarinoM #functional #logic programming #source code #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
PEPM-2000-Das #case study #experience #scalability #source code: Static Analysis of Large Programs: Some Experiences (MD), p. 1.
SAC-2000-RiveroDL #detection #network #strict: Static Detection of Sources of Dynamic Anomalies in a Network of Referential Integrity Restrictions (LCR, JHD, DL), pp. 333–339.
TACAS-2000-BozgaFG #automation #generative #testing #using: Using Static Analysis to Improve Automatic Test Generation (MB, JCF, LG), pp. 235–250.
ISSTA-2000-Lev-AmiRSW #case study #verification: Putting static analysis to work for verification: A case study (TLA, TWR, SS, RW), pp. 26–38.
IWPC-1999-MayrhauserL #maintenance #on the: On the Role of Static Analysis during Software Maintenance (AvM, SL), pp. 170–177.
FLOPS-1999-RidouxBM #prolog: Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
SAS-1999-Weise: Static Analysis of Mega-Programs (DW), pp. 300–302.
FoSSaCS-1999-BodeiDNN #process: Static Analysis of Processes for No and Read-Up and No Write-Down (CB, PD, FN, HRN), pp. 120–134.
TACAS-1999-RusuS #abstraction #on the #proving #safety #theorem proving: On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.
ICLP-1999-KangT #linear #logic programming #programming language: A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
ICLP-1999-MarinoM #functional #logic programming #source code #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ICSM-1998-CherinkaOR #maintenance #off the shelf #programming #question: Maintaining a COTS Integrated Solution — Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology? (RC, CMO, JR), pp. 160–169.
SIGAda-1998-PritchettR: An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.
CC-1998-LeinoN: An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.
DATE-1998-OlcozCGG #tool support: Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.
DATE-1998-SzekelyR #performance: Fast Field Solvers for Thermal and Electrostatic Analysis (VS, MR), pp. 518–523.
CSMR-1997-ClassenHMS #migration #user interface: CUI to GUI Migration: Static Analysis of Character-Based Panels (IC, KH, IM, MS), pp. 144–149.
CIKM-1997-KimC #approach #database #execution: A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
AdaEurope-1997-Thornley #case study #development #experience #using: Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK (JPT), pp. 266–277.
SAS-1997-Cousot #abstract interpretation #semantics: Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.
SAS-1997-Mackie #distributed #implementation #interactive: Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.
ASE-1997-Gaugne #comprehension #debugging: A Static Analysis for Program Understanding and Debugging (RG), pp. 297–298.
ESEC-FSE-1997-NaumovichACO #architecture: Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
PODS-1996-BertinoC #database: Static Analysis of Intensional Databases in U-Datalog (EB, BC), pp. 202–212.
SIGMOD-1996-Tajima #database #detection #object-oriented #security: Static Detection of Security Flaws in Object-Oriented Databases (KT), pp. 341–352.
OOPSLA-1996-BaconS #c++ #performance: Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
AdaEurope-1996-Rosskopf #ada #assessment #safety #using: Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.
PLDI-1996-Evans #detection #fault #memory management: Static Detection of Dynamic Memory Errors (DE), pp. 44–53.
POPL-1996-GuptaS #source code: Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs (MG, ES), pp. 322–332.
CC-1996-BoucherF #compilation #implementation #paradigm: Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer: Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
SAS-1995-KobayashiNY #communication #concurrent #programming language: Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
IWMM-1995-Wadler: Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (PW), p. 117.
ILPS-1995-GallagherBS #logic programming #modelling #source code: Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.
PEPM-1994-Baker-Finch #higher-order #type system: Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.
ICLP-1994-Silcrat #algebra #logic: Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.
WSA-1993-Roy #challenge #logic programming #source code: Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.
WSA-1993-SahlinS #named: Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.
ILPS-1993-Debray #logic programming #source code: Static Analysis of Logic Programs (SKD), pp. 43–44.
SEKE-1992-TuS #approach #linear #petri net #programming: Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
WSA-1992-BagnaraGL #source code: Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
WSA-1992-Gallagher #logic programming #specification: Static Analysis for Logic Program Specification (JPG), pp. 285–294.
AdaEurope-1991-DelisT #ada #assessment #design #using: Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.
CAAP-1991-Granger #congruence #linear: Static Analysis of Linear Congruence Equalities among Variables of a Program (PG), pp. 169–192.
PLILP-1988-Lindstrom #functional #logic #source code: Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.
ICSE-1988-Narayanaswamy #evolution #framework #lisp: Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.
JICSCP-1988-Debray88 #logic programming #parallel #source code: Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.
POPL-1984-MishraK #source code: Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.
SCC-1984-BaiardiRV #communication: Static checking of interprocess communication in ECSP (FB, LR, MV), pp. 290–299.
POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.