Imagen de Portada

Abstract Interpretation-Based Data Leakage Static Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Drobnjaković, Filip, Subotić, Pavle, Urban, Caterina
Formato:	Preprint
Publicado:	2022
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Provenance Guided Rollback Suggestions
por: Zhao, David, et al.
Publicado: (2025)

Formal Model Guided Conformance Testing for Blockchains
por: Drobnjakovic, Filip, et al.
Publicado: (2025)

Abstracting Denotational Interpreters
por: Graf, Sebastian, et al.
Publicado: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
por: Gomber, Shaurya, et al.
Publicado: (2025)

Correctness Witness Validation by Abstract Interpretation
por: Saan, Simmo, et al.
Publicado: (2023)

Faster Verified Explanations for Neural Networks
por: De Palma, Alessandro, et al.
Publicado: (2025)

Optimal Program Synthesis via Abstract Interpretation
por: Mell, Stephen, et al.
Publicado: (2026)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
por: Schwarz, Michael, et al.
Publicado: (2025)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
por: Lee, Jay
Publicado: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
por: Nicola, Mihai, et al.
Publicado: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
por: Gu, Qiuhan, et al.
Publicado: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
por: Halalingaiah, Shashin, et al.
Publicado: (2024)

Static Analysis Under Non-Deterministic Program Assumptions
por: Rasheed, Abdullah H.
Publicado: (2026)

Cost Analysis for Import and Export Using an Abstract Machine
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)

Qihe: A General-Purpose Static Analysis Framework for Verilog
por: Chen, Qinlin, et al.
Publicado: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
por: Arafat, Hassan, et al.
Publicado: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
por: Mitchell, Jacqueline L., et al.
Publicado: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
por: Piszcz, Franciszek
Publicado: (2024)

Nonmalleable Progress Leakage
por: Cecchetti, Ethan
Publicado: (2025)

Sequence-Based Abstract Interpretation of Prolog
por: Charlier, Baudouin Le, et al.
Publicado: (2000)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

LLM-Based Repair of Static Nullability Errors
por: Karimipour, Nima, et al.
Publicado: (2025)

Abstract Environment Trimming
por: Jurjo-Rivas, Daniel, et al.
Publicado: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
por: Wang, Chengpeng, et al.
Publicado: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
por: Monat, Raphaël
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

Abstracting Extensible Recursive Functions
por: Hubers, Alex, et al.
Publicado: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
por: Zhang, Bowen, et al.
Publicado: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
por: Ferreiro, Daniela, et al.
Publicado: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)

Generic Reduction-Based Interpreters (Extended Version)
por: Bach, Casper
Publicado: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
por: Dacík, Tomáš, et al.
Publicado: (2025)

The Session Abstract Machine (Extended Version)
por: Caires, Luís, et al.
Publicado: (2024)

Cocoon: Static Information Flow Control in Rust
por: Lamba, Ada, et al.
Publicado: (2023)

Customizing Static Analysis using Codesearch
por: Hayoun, Avi, et al.
Publicado: (2024)

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
por: Koprivec, Filip, et al.
Publicado: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
por: Kalita, Pankaj Kumar, et al.
Publicado: (2024)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
por: Monat, Raphaël, et al.
Publicado: (2024)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
por: Jonáš, Martin, et al.
Publicado: (2024)