On the public citation graph
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
0 signed · 81 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
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-50820-1openalex-snapshot
Programming Languages Implementation and Logic Programming
inferredcites →https://doi.org/10.1007/3-540-55844-6_142openalex-snapshot
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
inferredcites →https://doi.org/10.1007/978-1-4757-4286-2openalex-snapshot
Statistical Decision Theory and Bayesian Analysis
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_2openalex-snapshot
Trace Partitioning in Abstract Interpretation Based Static Analyzers
inferredcites →https://doi.org/10.1080/01621459.1949.10483310openalex-snapshot
The Monte Carlo Method
inferredcites →https://doi.org/10.1111/j.1467-985x.2004.00347_4.xopenalex-snapshot
Bayesian Data Analysis, 2nd edn
inferredcites →https://doi.org/10.1145/1029894.1029911openalex-snapshot
Testing static analysis tools using exploitable buffer overflows from open source code
inferredcites →https://doi.org/10.1145/780822.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.1145/781131.781153openalex-snapshot
A static analyzer for large safety-critical software
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.969openalex-snapshot
An algorithmic mitigation of large spurious interprocedural cycles in static analysis
inferred← citeshttps://doi.org/10.1002/stvr.1813openalex-snapshot
RVprio: A tool for prioritizing runtime verification violations
inferred← citeshttps://doi.org/10.1007/11823230_4openalex-snapshot
Static Analysis of String Manipulations in Critical Embedded C Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-69459-7_7openalex-snapshot
On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques
inferred← citeshttps://doi.org/10.1007/978-3-319-92375-8_1openalex-snapshot
How Can Open Source Software Projects Be Compared with Organizations?
inferred← citeshttps://doi.org/10.1007/978-3-319-92375-8_8openalex-snapshot
Ranking Source Code Static Analysis Warnings for Continuous Monitoring of FLOSS Repositories
inferred← citeshttps://doi.org/10.1007/978-3-642-10672-9_4openalex-snapshot
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
inferred← citeshttps://doi.org/10.1007/978-3-642-18275-4_25openalex-snapshot
Access Analysis-Based Tight Localization of Abstract Memories
inferred← citeshttps://doi.org/10.1007/978-3-642-25318-8_7openalex-snapshot
Access-Based Localization with Bypassing
inferred← citeshttps://doi.org/10.1007/978-3-642-27940-9_20openalex-snapshot
Sound Non-statistical Clustering of Static Analysis Alarms
inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_7openalex-snapshot
Inferring Definite Counterexamples through Under-Approximation
inferred← citeshttps://doi.org/10.1007/978-3-662-53413-7_6openalex-snapshot
Bounded Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/s00500-019-03942-3openalex-snapshot
A variable-level automated defect identification model based on machine learning
inferred← citeshttps://doi.org/10.1007/s10515-014-0164-0openalex-snapshot
Scalable and scope-bounded software verification in Varvel
inferred← citeshttps://doi.org/10.1007/s10664-023-10405-9openalex-snapshot
Analyzing source code vulnerabilities in the D2A dataset with ML ensembles and C-BERT
inferred← citeshttps://doi.org/10.1007/s11390-020-0047-8openalex-snapshot
Topic Modeling Based Warning Prioritization from Change Sets of Software Repository
inferred← citeshttps://doi.org/10.1007/s11416-007-0063-zopenalex-snapshot
Static analysis by abstract interpretation: application to the detection of heap overflows
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.10.004openalex-snapshot
Filtering false alarms of buffer overflow analysis using SMT solvers
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.12.007openalex-snapshot
A systematic literature review of actionable alert identification techniques for automated static code analysis
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1016/j.scico.2013.04.002openalex-snapshot
Access-based abstract memory localization in static analysis
inferred← citeshttps://doi.org/10.1109/apsec.2014.81openalex-snapshot
Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM
inferred← citeshttps://doi.org/10.1109/aspdac.2007.358007openalex-snapshot
Model-based Programming Environment of Embedded Software for MPSoC
inferred← citeshttps://doi.org/10.1109/icact.2008.4493756openalex-snapshot
Applying Dataflow Analysis to Detecting Software Vulnerability
inferred← citeshttps://doi.org/10.1109/icse-seip.2019.00014openalex-snapshot
Towards Better Utilizing Static Application Security Testing
inferred← citeshttps://doi.org/10.1109/icse-seip52600.2021.00020openalex-snapshot
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis
inferred← citeshttps://doi.org/10.1109/icse.2017.54openalex-snapshot
Machine-Learning-Guided Selectively Unsound Static Analysis
inferred← citeshttps://doi.org/10.1109/icst.2019.00036openalex-snapshot
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool
inferred← citeshttps://doi.org/10.1109/icst.2019.00048openalex-snapshot
Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00038openalex-snapshot
Prioritizing Runtime Verification Violations
inferred← citeshttps://doi.org/10.1109/isorcw.2011.40openalex-snapshot
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
inferred← citeshttps://doi.org/10.1109/scam.2016.25openalex-snapshot
Survey of Approaches for Handling Static Analysis Alarms
inferred← citeshttps://doi.org/10.1109/tse.2018.2884955openalex-snapshot
Mining Fix Patterns for FindBugs Violations
inferred← citeshttps://doi.org/10.1109/tse.2020.2999534openalex-snapshot
Explaining Static Analysis With Rule Graphs
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.1145/2254064.2254092openalex-snapshot
Design and implementation of sparse global analyses for C-like languages
inferred← citeshttps://doi.org/10.1145/2345156.2254092openalex-snapshot
Design and implementation of sparse global analyses for C-like languages
inferred← citeshttps://doi.org/10.1145/2597073.2597100openalex-snapshot
Finding patterns in static analysis alerts: improving actionable alert ranking
inferred← citeshttps://doi.org/10.1145/2786805.2786851openalex-snapshot
A user-guided approach to program analysis
inferred← citeshttps://doi.org/10.1145/2821504openalex-snapshot
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
inferred← citeshttps://doi.org/10.1145/3088525.3088563openalex-snapshot
Combining the logical and the probabilistic in program analysis
inferred← citeshttps://doi.org/10.1145/3095021openalex-snapshot
Sound Non-Statistical Clustering of Static Analysis Alarms
inferred← citeshttps://doi.org/10.1145/3133881openalex-snapshot
Effective interactive resolution of static analysis alarms
inferred← citeshttps://doi.org/10.1145/3192366.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferred← citeshttps://doi.org/10.1145/3296979.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferred← citeshttps://doi.org/10.1145/3306446.3340828openalex-snapshot
Ranking warnings from multiple source code static analyzers via ensemble learning
inferred← citeshttps://doi.org/10.1145/3314221.3314616openalex-snapshot
Continuously reasoning about programs using differential Bayesian inference
inferred← citeshttps://doi.org/10.1145/3460120.3484795openalex-snapshot
Zero Knowledge Static Program Analysis
inferred← citeshttps://doi.org/10.1145/3494521openalex-snapshot
Survey of Approaches for Postprocessing of Static Analysis Alarms
inferred← citeshttps://doi.org/10.1145/3643916.3644404openalex-snapshot
What the Fix? A Study of ASATs Rule Documentation
inferred← citeshttps://doi.org/10.1145/3808351openalex-snapshot
Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
inferred← citeshttps://doi.org/10.11606/d.45.2018.tde-20082018-170140openalex-snapshot
Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories
inferred← citeshttps://doi.org/10.4018/978-1-4666-2776-5.ch007openalex-snapshot
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
inferred← citeshttps://doi.org/10.4018/jertcs.2011040103openalex-snapshot
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amr.753-755.2325openalex-snapshot
Filtering False Alarms for Static Detection of Array Bounds Violation via Weakest Precondition
inferred← citeshttps://doi.org/10.48550/arxiv.1504.05967openalex-snapshot
Finding Tizen security bugs through whole-system static analysis
inferred← citeshttps://doi.org/10.9723/jksiis.2015.20.5.013openalex-snapshot
A Method of Detecting Pointer Access Error based on Disassembled Codes
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.