On the public citation graph

Survey of Approaches for Postprocessing of Static Analysis Alarms

0 signed · 154 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/smr.1760openalex-snapshot

Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions

inferredcites →https://doi.org/10.1002/spe.2287openalex-snapshot

Integrated static code analysis and runtime verification

inferredcites →https://doi.org/10.1007/11547662_15openalex-snapshot

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis

inferredcites →https://doi.org/10.1007/11547662_21openalex-snapshot

Understanding the Origin of Alarms in Astrée

inferredcites →https://doi.org/10.1007/11575467_23openalex-snapshot

Abstract Dependences for Alarm Diagnosis

inferredcites →https://doi.org/10.1007/3-540-44898-5_16openalex-snapshot

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations

inferredcites →https://doi.org/10.1007/3-540-44898-5_19openalex-snapshot

Precise Widening Operators for Convex Polyhedra

inferredcites →https://doi.org/10.1007/978-3-030-04272-1_1openalex-snapshot

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report

inferredcites →https://doi.org/10.1007/978-3-030-04272-1_4openalex-snapshot

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis

inferredcites →https://doi.org/10.1007/978-3-030-34175-6_7openalex-snapshot

Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies

inferredcites →https://doi.org/10.1007/978-3-319-12736-1_11openalex-snapshot

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking

inferredcites →https://doi.org/10.1007/978-3-319-21690-4_19openalex-snapshot

Angelic Verification: Precise Verification Modulo Unknowns

inferredcites →https://doi.org/10.1007/978-3-319-26287-1_3openalex-snapshot

Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed

inferredcites →https://doi.org/10.1007/978-3-319-41135-4_9openalex-snapshot

Classifying Bugs with Interpolants

inferredcites →https://doi.org/10.1007/978-3-319-45641-6_26openalex-snapshot

A Survey of Satisfiability Modulo Theory

inferredcites →https://doi.org/10.1007/978-3-319-92375-8_8openalex-snapshot

Ranking Source Code Static Analysis Warnings for Continuous Monitoring of FLOSS Repositories

inferredcites →https://doi.org/10.1007/978-3-540-73368-3_5openalex-snapshot

A Tutorial on Satisfiability Modulo Theories

inferredcites →https://doi.org/10.1007/978-3-540-78800-3_33openalex-snapshot

Automatically Refining Abstract Interpretations

inferredcites →https://doi.org/10.1007/978-3-642-11145-7_26openalex-snapshot

IntFinder: Automatically Detecting Integer Bugs in x86 Binary Program

inferredcites →https://doi.org/10.1007/978-3-642-27940-9_20openalex-snapshot

Sound Non-statistical Clustering of Static Analysis Alarms

inferredcites →https://doi.org/10.1007/978-3-642-34281-3_23openalex-snapshot

SMT-Based False Positive Elimination in Static Program Analysis

inferredcites →https://doi.org/10.1007/978-3-642-45293-2_6openalex-snapshot

Pruning False Positives of Static Data-Race Detection via Thread Specialization

inferredcites →https://doi.org/10.1007/s00500-019-03942-3openalex-snapshot

A variable-level automated defect identification model based on machine learning

inferredcites →https://doi.org/10.1007/s00607-018-0664-zopenalex-snapshot

An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios

inferredcites →https://doi.org/10.1007/s10009-009-0116-3openalex-snapshot

Haifa verification conference 2007

inferredcites →https://doi.org/10.1007/s10009-011-0211-0openalex-snapshot

Deductive software verification

inferredcites →https://doi.org/10.1007/s11334-009-0088-1openalex-snapshot

Certification of software for real-time safety-critical systems: state of the art

inferredcites →https://doi.org/10.1007/s11334-012-0192-5openalex-snapshot

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

inferredcites →https://doi.org/10.1007/s11416-016-0263-5openalex-snapshot

An analysis on secure coding using symbolic execution engine

inferredcites →https://doi.org/10.1016/j.infsof.2009.10.004openalex-snapshot

Filtering false alarms of buffer overflow analysis using SMT solvers

inferredcites →https://doi.org/10.1016/j.infsof.2010.12.007openalex-snapshot

A systematic literature review of actionable alert identification techniques for automated static code analysis

inferredcites →https://doi.org/10.1016/j.infsof.2011.06.003openalex-snapshot

A systematic mapping study on the combination of static and dynamic quality assurance techniques

inferredcites →https://doi.org/10.1016/j.infsof.2017.04.001openalex-snapshot

Static analysis of android apps: A systematic literature review

inferredcites →https://doi.org/10.1016/j.ipl.2006.11.004openalex-snapshot

An empirical study on classification methods for alarms from a bug-finding static C analyzer

inferredcites →https://doi.org/10.1049/iet-sen.2014.0185openalex-snapshot

Auditing buffer overflow vulnerabilities using hybrid static–dynamic analysis

inferredcites →https://doi.org/10.1109/access.2019.2934975openalex-snapshot

History-Driven Fix for Code Quality Issues

inferredcites →https://doi.org/10.1109/acit-csii-bcd.2017.44openalex-snapshot

Investigation of Coding Violations Focusing on Authorships of Source Files

inferredcites →https://doi.org/10.1109/aero.2005.1559604openalex-snapshot

Precise and Scalable Static Program Analysis of NASA Flight Software

inferredcites →https://doi.org/10.1109/aero.2008.4526576openalex-snapshot

A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

inferredcites →https://doi.org/10.1109/aiccsa.2018.8612819openalex-snapshot

Using Machine Learning Techniques to Classify and Predict Static Code Analysis Tool Warnings

inferredcites →https://doi.org/10.1109/apsec.2012.97openalex-snapshot

Precise Analysis of Large Industry Code

inferredcites →https://doi.org/10.1109/apsec.2013.33openalex-snapshot

Diagnosis-Oriented Alarm Correlations

inferredcites →https://doi.org/10.1109/apsec.2014.81openalex-snapshot

Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM

inferredcites →https://doi.org/10.1109/apsec48747.2019.00019openalex-snapshot

Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard

inferredcites →https://doi.org/10.1109/ares.2013.59openalex-snapshot

Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution

inferredcites →https://doi.org/10.1109/ase.2001.989812openalex-snapshot

Combining static analysis and model checking for software analysis

inferredcites →https://doi.org/10.1109/ase.2008.29openalex-snapshot

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

inferredcites →https://doi.org/10.1109/cgo14663.2009openalex-snapshot

2009 International Symposium on Code Generation and Optimization

inferredcites →https://doi.org/10.1109/compsac.2006.55openalex-snapshot

Integrating Static and Dynamic Analysis for Detecting Vulnerabilities

inferredcites →https://doi.org/10.1109/compsac.2011.91openalex-snapshot

SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing

inferredcites →https://doi.org/10.1109/compsac.2012.22openalex-snapshot

An Effective Defect Detection and Warning Prioritization Approach for Resource Leaks

inferredcites →https://doi.org/10.1109/compsacw.2011.26openalex-snapshot

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities

inferredcites →https://doi.org/10.1109/csse14048.2008openalex-snapshot

2008 International Conference on Computer Science and Software Engineering

inferredcites →https://doi.org/10.1109/esem18081.2011openalex-snapshot

2011 International Symposium on Empirical Software Engineering and Measurement

inferredcites →https://doi.org/10.1109/icsm.2013.89openalex-snapshot

Automated Classification of Static Code Analysis Alerts: A Case Study

inferredcites →https://doi.org/10.1109/icsme.2014.97openalex-snapshot

Improving Review of Clustered-Code Analysis Warnings

inferredcites →https://doi.org/10.1109/icsme.2016.63openalex-snapshot

From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration

inferredcites →https://doi.org/10.1109/icst.2009.45openalex-snapshot

A Model Building Process for Identifying Actionable Static Analysis Alerts

inferredcites →https://doi.org/10.1109/icst.2011.51openalex-snapshot

EFindBugs: Effective Error Ranking for FindBugs

inferredcites →https://doi.org/10.1109/icst.2017.53openalex-snapshot

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking

inferredcites →https://doi.org/10.1109/icst.2019.00048openalex-snapshot

Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks

inferredcites →https://doi.org/10.1109/ispras.2017.00010openalex-snapshot

Anxiety: A Dynamic Symbolic Execution Framework

inferredcites →https://doi.org/10.1109/issre.2004.1openalex-snapshot

A Comparison of Bug Finding Tools for Java

inferredcites →https://doi.org/10.1109/ms.2003.1207453openalex-snapshot

Tool support for fine-grained software inspection

inferredcites →https://doi.org/10.1109/ms.2008.130openalex-snapshot

Using Static Analysis to Find Bugs

inferredcites →https://doi.org/10.1109/ms.2017.3571566openalex-snapshot

International Conference on Software Engineering

inferredcites →https://doi.org/10.1109/qrs-c.2017.110openalex-snapshot

A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics

inferredcites →https://doi.org/10.1109/qrs.2019.00042openalex-snapshot

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis

inferredcites →https://doi.org/10.1109/qsic.2008.30openalex-snapshot

An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)

inferredcites →https://doi.org/10.1109/qsic.2009.10openalex-snapshot

A Hybrid Approach to Detecting Security Defects in Programs

inferredcites →https://doi.org/10.1109/saner.2015.7081867openalex-snapshot

On implementational variations in static analysis tools

inferredcites →https://doi.org/10.1109/saner.2016.105openalex-snapshot

Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software

inferredcites →https://doi.org/10.1109/saner.2016.63openalex-snapshot

At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis

inferredcites →https://doi.org/10.1109/saner.2017.7884656openalex-snapshot

UAV: Warnings from multiple Automated Static Analysis Tools at a glance

inferredcites →https://doi.org/10.1109/scam.2008.12openalex-snapshot

DTS - A Software Defects Testing System

inferredcites →https://doi.org/10.1109/scam.2008.24openalex-snapshot

Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking

inferredcites →https://doi.org/10.1109/scam.2013.6648191openalex-snapshot

Review efforts reduction by partitioning of static analysis warnings

inferredcites →https://doi.org/10.1109/scam.2016.25openalex-snapshot

Survey of Approaches for Handling Static Analysis Alarms

inferredcites →https://doi.org/10.1109/scam.2019.00013openalex-snapshot

Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings

inferredcites →https://doi.org/10.1109/snpd.2016.7515929openalex-snapshot

Detecting integer overflow in Windows binary executables based on symbolic execution

inferredcites →https://doi.org/10.1109/tse.2005.63openalex-snapshot

Automatic mining of source code repositories to improve bug finding techniques

inferredcites →https://doi.org/10.1109/tse.2006.38openalex-snapshot

On the value of static analysis for fault detection in software

inferredcites →https://doi.org/10.1109/tse.2010.28openalex-snapshot

How Reliable Are Systematic Reviews in Empirical Software Engineering?

inferredcites →https://doi.org/10.1109/tse.2018.2884955openalex-snapshot

Mining Fix Patterns for FindBugs Violations

inferredcites →https://doi.org/10.1109/tse.2020.3004525openalex-snapshot

Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations

inferredcites →https://doi.org/10.1109/wcre.2012.37openalex-snapshot

A Framework to Compare Alert Ranking Algorithms

inferredcites →https://doi.org/10.1109/wcre.2013.6671303openalex-snapshot

Clustering static analysis defect reports to reduce maintenance costs

inferredcites →https://doi.org/10.1134/11086.1608-3261openalex-snapshot

Programming and Computer Software

inferredcites →https://doi.org/10.1134/s0361768810040055openalex-snapshot

The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs

inferredcites →https://doi.org/10.1134/s036176881805002xopenalex-snapshot

Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation

inferredcites →https://doi.org/10.1145/1287624.1287633openalex-snapshot

Which warnings should I fix first?

inferredcites →https://doi.org/10.1145/1287624.1287654openalex-snapshot

RELAY

inferredcites →https://doi.org/10.1145/1295014.1295042openalex-snapshot

Using groupings of static analysis alerts to identify files likely to contain field failures

inferredcites →https://doi.org/10.1145/1348250.1348254openalex-snapshot

DSD-Crasher

inferredcites →https://doi.org/10.1145/1349332.1349339openalex-snapshot

Adaptively ranking alerts generated from automated static analysis

inferredcites →https://doi.org/10.1145/1409720.1409733openalex-snapshot

A catalogue of lightweight visualizations to support code smell inspection

inferredcites →https://doi.org/10.1145/1858996.1859013openalex-snapshot

Automatic construction of an effective training set for prioritizing static analysis warnings

inferredcites →https://doi.org/10.1145/1953355.1953369openalex-snapshot

Effective false positive filtering for evolving software

inferredcites →https://doi.org/10.1145/2103621.2103662openalex-snapshot

Underspecified harnesses and interleaved bugs

inferredcites →https://doi.org/10.1145/2254064.2254087openalex-snapshot

Automated error diagnosis using abductive inference

inferredcites →https://doi.org/10.1145/2351676.2351685openalex-snapshot

To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools

inferredcites →https://doi.org/10.1145/2491956.2462188openalex-snapshot

Almost-correct specifications

inferredcites →https://doi.org/10.1145/2566486.2568024openalex-snapshot

Automatic detection and correction of web application vulnerabilities using data mining to predict false positives

inferredcites →https://doi.org/10.1145/2591062.2591123openalex-snapshot

An automated approach to detect violations with high confidence in incremental code using a learning system

inferredcites →https://doi.org/10.1145/2594291.2594326openalex-snapshot

Verification modulo versions

inferredcites →https://doi.org/10.1145/2597073.2597100openalex-snapshot

Finding patterns in static analysis alerts: improving actionable alert ranking

inferredcites →https://doi.org/10.1145/2601248.2601268openalex-snapshot

Guidelines for snowballing in systematic literature studies and a replication in software engineering

inferredcites →https://doi.org/10.1145/2660267.2660339openalex-snapshot

ALETHEIA

inferredcites →https://doi.org/10.1145/2745802.2745818openalex-snapshot

Experiences from using snowballing and database searches in systematic literature studies

inferredcites →https://doi.org/10.1145/2970276.2970282openalex-snapshot

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities

inferredcites →https://doi.org/10.1145/2970276.2970347openalex-snapshot

What developers want and need from program analysis: an empirical study

inferredcites →https://doi.org/10.1145/3095021openalex-snapshot

Sound Non-Statistical Clustering of Static Analysis Alarms

inferredcites →https://doi.org/10.1145/3133881openalex-snapshot

Effective interactive resolution of static analysis alarms

inferredcites →https://doi.org/10.1145/3192366.3192417openalex-snapshot

User-guided program reasoning using Bayesian inference

inferredcites →https://doi.org/10.1145/3193992.3194003openalex-snapshot

Formal verification of automotive embedded software

inferredcites →https://doi.org/10.1145/3194095.3194100openalex-snapshot

Prioritizing alerts from multiple static analysis tools, using classification models

inferredcites →https://doi.org/10.1145/3236024.3264599openalex-snapshot

WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings

inferredcites →https://doi.org/10.1145/3314221.3314616openalex-snapshot

Continuously reasoning about programs using differential Bayesian inference

inferredcites →https://doi.org/10.1145/3338906.3338952openalex-snapshot

Phoenix: automated data-driven synthesis of repairs for static analysis violations

inferredcites →https://doi.org/10.1145/3360585openalex-snapshot

Getafix: learning to fix bugs automatically

inferredcites →https://doi.org/10.1145/3485832openalex-snapshot

Annual Computer Security Applications Conference

inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot

Symbolic execution and program testing

inferredcites →https://doi.org/10.1155/2017/5452396openalex-snapshot

Assisting in Auditing of Buffer Overflow Vulnerabilities via Machine Learning

inferredcites →https://doi.org/10.12783/dtcse/cimns2017/16332openalex-snapshot

Dominant Alarm Research and Implementation Based on Static Defect Detection

inferredcites →https://doi.org/10.17559/tv-20190417093740openalex-snapshot

Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults

inferredcites →https://doi.org/10.21236/ada419626openalex-snapshot

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions

inferredcites →https://doi.org/10.4018/978-1-5225-0945-5.ch004openalex-snapshot

Combining Static Code Analysis and Machine Learning for Automatic Detection of Security Vulnerabilities in Mobile Apps

inferredcites →https://doi.org/10.4108/infoscale.2007.910openalex-snapshot

ISA: A Source Code Static Vulnerability Detection System Based on Data Fusion

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4637378openalex-extracted

Survey of Techniques to Detect Cwes in Program Binaries

inferred← citeshttps://doi.org/10.1007/978-3-032-40374-2_14openalex-snapshot

TriVul: Improving Precision of Static Vulnerability Detection through Multi-agent Reasoning

inferred← citeshttps://doi.org/10.1007/s11432-023-3975-6openalex-snapshot

Improving actionable warning identification via the refined warning-inducing context representation

inferred← citeshttps://doi.org/10.1016/j.csa.2024.100061openalex-snapshot

Survey of techniques to detect common weaknesses in program binaries

inferred← citeshttps://doi.org/10.1109/access.2025.3594657openalex-snapshot

Global Trends and Empirical Metrics in the Evaluation of Code Smells and Technical Debt: A Bibliometric Study

inferred← citeshttps://doi.org/10.1109/compsac69091.2026.00051openalex-snapshot

Refuting Infeasible Paths for False Alarm Reduction

inferred← citeshttps://doi.org/10.1109/gaiis69281.2026.11519148openalex-snapshot

A Dynamic Security Warning Mechanism for SDN Based on Alert Information

inferred← citeshttps://doi.org/10.1109/gamify66603.2025.00007openalex-snapshot

Gamifying User Feedback Collection on Static Program Analysis Tools

inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00079openalex-snapshot

Reducing Label Errors for Actionable Warning Identification

inferred← citeshttps://doi.org/10.1109/scam55253.2022.00029openalex-snapshot

Classification and Ranking of Delta Static Analysis Alarms

inferred← citeshttps://doi.org/10.1109/scam55253.2022.00031openalex-snapshot

An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms

inferred← citeshttps://doi.org/10.1109/tdsc.2024.3476315openalex-snapshot

A Large-Scale Empirical Study of Actionable Warning Distribution Within Projects

inferred← citeshttps://doi.org/10.1109/tr.2023.3234982openalex-snapshot

An Empirical Study of Class Rebalancing Methods for Actionable Warning Identification

inferred← citeshttps://doi.org/10.1109/tse.2023.3329667openalex-snapshot

Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities

inferred← citeshttps://doi.org/10.1142/s0218194026500610openalex-snapshot

VulRESC: A Vulnerability Detection Framework Based on Risk Path Extraction and Inter-Procedural Semantic Completion

inferred← citeshttps://doi.org/10.1145/3653718openalex-snapshot

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

inferred← citeshttps://doi.org/10.1145/3696352openalex-snapshot

Machine Learning for Actionable Warning Identification: A Comprehensive Survey

inferred← citeshttps://doi.org/10.1145/3808301openalex-snapshot

Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity

inferred← citeshttps://doi.org/10.1145/3828165openalex-snapshot

Go With the Flow: Improving the Precision of Static Data Flow Analysis with Context-Sensitive Sinks

inferred← citeshttps://doi.org/10.1631/fitee.2500038openalex-snapshot

Large language model-enhanced probabilistic modeling for effective static analysis alarms

inferred← citeshttps://doi.org/10.17163/ings.n36.2026.04openalex-snapshot

Ciclo de vida de desarrollo de software cuántico estructurado (QSDLC) para la computación de próxima generación

inferred← citeshttps://doi.org/10.2139/ssrn.6538783openalex-snapshot

From Explanation to Localization: A Causal XAI Framework for Understanding and Improving Transformer-Based Vulnerability Detection

inferred← citeshttps://doi.org/10.3390/aerospace10050465openalex-snapshot

A Flexible Code Review Framework for Combining Defect Detection and Review Comments

inferred← citeshttps://doi.org/10.3390/app14135542openalex-snapshot

A Method for Processing Static Analysis Alarms Based on Deep Learning

inferred← citeshttps://doi.org/10.3390/jcp6050163openalex-snapshot

Raw CVE/CWE Retrieval Does Not Improve LLM-Based Vulnerability Detection in Python: A Pre-Specified Null Result and a Retrieval-Dose Audit

inferred← citeshttps://doi.org/10.36994/2788-5518-2023-01-05-20openalex-snapshot

COMBINED APPROACHES TO THE STATIC CODE ANALYSIS USING NEURAL NETWORKS

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.