On the public citation graph

Declarative static analysis for multilingual programs using CodeQL

https://doi.org/10.1002/spe.3199
0 signed · 61 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.1007/11575467_8openalex-snapshot
Using Datalog with Binary Decision Diagrams for Program Analysis
inferredcites →https://doi.org/10.1007/11785477_2openalex-snapshot
codeQuest: Scalable Source Code Queries with Datalog
inferredcites →https://doi.org/10.1007/3-540-57877-3_26openalex-snapshot
Solving demand versions of interprocedural analysis problems
inferredcites →https://doi.org/10.1007/978-3-030-41600-3_1openalex-snapshot
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
inferredcites →https://doi.org/10.1007/978-3-030-88806-0_16openalex-snapshot
A Multilanguage Static Analysis of Python Programs with Native C Extensions
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_23openalex-snapshot
Soufflé: On Synthesis of Program Analyzers
inferredcites →https://doi.org/10.1007/978-3-642-24206-9_1openalex-snapshot
Datalog-Based Program Analysis with BES and RWL
inferredcites →https://doi.org/10.1007/978-3-642-24206-9_14openalex-snapshot
Using Datalog for Fast and Easy Program Analysis
inferredcites →https://doi.org/10.1007/978-3-662-46663-6_7openalex-snapshot
Staged Points-to Analysis for Large Code Bases
inferredcites →https://doi.org/10.1109/ase51524.2021.9678781openalex-snapshot
JSTAR: JavaScript Specification Type Analyzer using Refinement
inferredcites →https://doi.org/10.1109/icse.2019.00038openalex-snapshot
Towards Understanding and Reasoning About Android Interoperations
inferredcites →https://doi.org/10.1109/icse43902.2021.00015openalex-snapshot
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification
inferredcites →https://doi.org/10.1109/icse43902.2021.00151openalex-snapshot
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
inferredcites →https://doi.org/10.1109/saner.2016.112openalex-snapshot
A Large Scale Study of Multiple Programming Languages and Code Quality
inferredcites →https://doi.org/10.1109/tr.2020.3024873openalex-snapshot
On the Impact of Interlanguage Dependencies in Multilanguage Systems Empirical Case Study on Java Native Interface Applications (JNI)
inferredcites →https://doi.org/10.1145/1133981.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1297027.1297031openalex-snapshot
Ilea
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/249069.231399openalex-snapshot
Practical program analysis using general purpose logic programming systems—a case study
inferredcites →https://doi.org/10.1145/2594291.2594320openalex-snapshot
Introspective analysis
inferredcites →https://doi.org/10.1145/2660267.2660275openalex-snapshot
Code Injection Attacks on HTML5-based Mobile Apps
inferredcites →https://doi.org/10.1145/2771284.2771287openalex-snapshot
Combining type-analysis with points-to analysis for analyzing Java library source-code
inferredcites →https://doi.org/10.1145/2892208.2892226openalex-snapshot
On fast large-scale program analysis in Datalog
inferredcites →https://doi.org/10.1145/2970276.2970368openalex-snapshot
HybriDroid: static analysis framework for Android hybrid applications
inferredcites →https://doi.org/10.1145/3243734.3243835openalex-snapshot
JN-SAF
inferredcites →https://doi.org/10.1145/3324884.3416558openalex-snapshot
Broadening horizons of multilingual static analysis
inferredcites →https://doi.org/10.1145/3324884.3416632openalex-snapshot
JISET
inferredcites →https://doi.org/10.1145/3395363.3397368openalex-snapshot
Identifying Java calls in native code via binary scanning
inferredcites →https://doi.org/10.1145/3540250.3549097openalex-snapshot
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis
inferredcites →https://doi.org/10.1145/3540250.3549173openalex-snapshot
On the vulnerability proneness of multilingual code
inferredcites →https://doi.org/10.14722/ndss.2022.24078openalex-snapshot
Cross-Language Attacks

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-031-75380-0_8openalex-snapshot
Challenges of Multilingual Program Specification and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-032-06336-6_4openalex-snapshot
Evaluating Large Language Models for the Generation of Unit Tests with Equivalence Partitions and Boundary Values
inferred← citeshttps://doi.org/10.1007/978-3-032-36587-3_30openalex-snapshot
Security in a Workflow: Exploring Role-Based Agentic Architectures for Vulnerability Handling
inferred← citeshttps://doi.org/10.1016/j.infsof.2024.107656openalex-snapshot
Automated detection of inter-language design smells in multi-language deep learning frameworks
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107709openalex-snapshot
Unveiling security weaknesses in autonomous driving systems: An in-depth empirical study
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103278openalex-snapshot
Modular unification of unilingual pointer analyses to multilingual FFI-based programs
inferred← citeshttps://doi.org/10.1109/access.2025.3650540openalex-snapshot
Type Region Model and Its Application in Program Static Detection
inferred← citeshttps://doi.org/10.1109/dsn64029.2025.00024openalex-snapshot
PTC: Prefix Tuning CodeT5 for High-Quality Secure Network Measurement Script Generation
inferred← citeshttps://doi.org/10.1109/iciss67859.2026.11453913openalex-snapshot
Static Code Vulnerability Detection Framework for Secure Compiler Assisted Software Development Pipelines
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00075openalex-snapshot
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00019openalex-snapshot
Code Property Graph Meets Typestate: A Scalable Framework to Behavioral Bug Detection
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00115openalex-snapshot
Towards Analyzing N-Language Polyglot Programs
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00115openalex-snapshot
Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis
inferred← citeshttps://doi.org/10.1109/tr.2025.3576267openalex-snapshot
A Survey of Multilanguage Interoperability and Its Program Analysis
inferred← citeshttps://doi.org/10.1145/3618305.3623590openalex-snapshot
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
inferred← citeshttps://doi.org/10.1145/3660804openalex-snapshot
Learning to Detect and Localize Multilingual Bugs
inferred← citeshttps://doi.org/10.1145/3691620.3696193openalex-snapshot
AXA: Cross-Language Analysis through Integration of Single-Language Analyses
inferred← citeshttps://doi.org/10.1145/3714393.3726495openalex-snapshot
CodeX: Contextual Flow Tracking for Browser Extensions
inferred← citeshttps://doi.org/10.1145/3715777openalex-snapshot
Dissecting Real-World Cross-Language Bugs
inferred← citeshttps://doi.org/10.1145/3728929openalex-snapshot
Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
inferred← citeshttps://doi.org/10.1145/3744916.3764555openalex-snapshot
PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis
inferred← citeshttps://doi.org/10.1145/3763152openalex-snapshot
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
inferred← citeshttps://doi.org/10.1145/3786583.3786895openalex-snapshot
HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony
inferred← citeshttps://doi.org/10.1145/3793302.3793365openalex-snapshot
Analyzing Dependency Distribution Changes Arising from Code Smell Interactions
inferred← citeshttps://doi.org/10.1145/3811920openalex-snapshot
Fine-Tuning Code Language Models to Detect Cross-Language Bugs
inferred← citeshttps://doi.org/10.1145/3832783.3834381openalex-snapshot
Every Scenario Matters: Scenario-Guided White-Box Testing for Static Code Checkers Powered by LLMs
inferred← citeshttps://doi.org/10.28925/2663-4023.2026.34.1302openalex-snapshot
RESEARCH OF METHODS FOR DETECTING VULNERABILITIES IN SOFTWARE AND INFORMATION AND COMMUNICATION SYSTEMS BASED ON THE WINDOWS OPERATING SYSTEM WITH THE DEVELOPMENT OF AUTOMATED ANALYSIS SOFTWARE
inferred← citeshttps://doi.org/10.32362/2500-316x-2024-12-2-16-27openalex-snapshot
Analysis of information flow security using software implementing business logic based on stored database program blocks
inferred← citeshttps://doi.org/10.3390/computers14050179openalex-snapshot
Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols
inferred← citeshttps://doi.org/10.3390/fi18020099openalex-snapshot
Analysis of GitHub Advanced Security: Security Integration in GitHub and Azure DevOps
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.