Image de couverture de livre

Abstract Interpretation-Based Data Leakage Static Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Drobnjaković, Filip, Subotić, Pavle, Urban, Caterina
Format:	Preprint
Publié:	2022
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Provenance Guided Rollback Suggestions
par: Zhao, David, et autres
Publié: (2025)

Formal Model Guided Conformance Testing for Blockchains
par: Drobnjakovic, Filip, et autres
Publié: (2025)

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
par: Gomber, Shaurya, et autres
Publié: (2025)

Correctness Witness Validation by Abstract Interpretation
par: Saan, Simmo, et autres
Publié: (2023)

Faster Verified Explanations for Neural Networks
par: De Palma, Alessandro, et autres
Publié: (2025)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
par: Lee, Jay
Publié: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
par: Nicola, Mihai, et autres
Publié: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
par: Gu, Qiuhan, et autres
Publié: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
par: Halalingaiah, Shashin, et autres
Publié: (2024)

Static Analysis Under Non-Deterministic Program Assumptions
par: Rasheed, Abdullah H.
Publié: (2026)

Cost Analysis for Import and Export Using an Abstract Machine
par: Bennetzen, Benjamin, et autres
Publié: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Qihe: A General-Purpose Static Analysis Framework for Verilog
par: Chen, Qinlin, et autres
Publié: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
par: Arafat, Hassan, et autres
Publié: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
par: Piszcz, Franciszek
Publié: (2024)

Nonmalleable Progress Leakage
par: Cecchetti, Ethan
Publié: (2025)

Sequence-Based Abstract Interpretation of Prolog
par: Charlier, Baudouin Le, et autres
Publié: (2000)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

LLM-Based Repair of Static Nullability Errors
par: Karimipour, Nima, et autres
Publié: (2025)

Abstract Environment Trimming
par: Jurjo-Rivas, Daniel, et autres
Publié: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
par: Monat, Raphaël
Publié: (2025)

On the Anatomy of Real-World R Code for Static Analysis
par: Sihler, Florian, et autres
Publié: (2024)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

Generic Reduction-Based Interpreters (Extended Version)
par: Bach, Casper
Publié: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

The Session Abstract Machine (Extended Version)
par: Caires, Luís, et autres
Publié: (2024)

Cocoon: Static Information Flow Control in Rust
par: Lamba, Ada, et autres
Publié: (2023)

Customizing Static Analysis using Codesearch
par: Hayoun, Avi, et autres
Publié: (2024)

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
par: Koprivec, Filip, et autres
Publié: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
par: Kalita, Pankaj Kumar, et autres
Publié: (2024)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
par: Monat, Raphaël, et autres
Publié: (2024)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
par: Jonáš, Martin, et autres
Publié: (2024)