Image de couverture de livre

Static Analysis Under Non-Deterministic Program Assumptions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rasheed, Abdullah H.
Format:	Preprint
Publié:	2026
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

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
par: Rasheed, Abdullah H., et autres
Publié: (2026)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
par: Rasheed, Abdullah
Publié: (2024)

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

Deterministic Fully-Static Whole-Binary Translation without Heuristics
par: Chen, Hongyu, et autres
Publié: (2026)

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

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
par: Wang, Peixin, et autres
Publié: (2023)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
par: Böck, Markus, et autres
Publié: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
par: Drobnjaković, Filip, et autres
Publié: (2022)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
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)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
par: Xu, Han, et autres
Publié: (2026)

Unlocking the Power of Environment Assumptions for Unit Proofs
par: Priya, Siddharth, et autres
Publié: (2024)

PSM: Policy Synchronised Deterministic Memory
par: Mendler, Michael, et autres
Publié: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
par: Cate, Balder ten, 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)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
par: Rustenholz, Louis, 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)

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)

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

A Categorical Basis for Robust Program Analysis
par: Kincaid, Zachary, et autres
Publié: (2026)

Automated Expected Cost Analysis for Quantum Programs
par: Moser, Georg, et autres
Publié: (2026)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
par: Lagouvardos, Sifis, et autres
Publié: (2025)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
par: He, Pengfei, et autres
Publié: (2026)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
par: Zakharov, Vladimir, et autres
Publié: (2024)

Static Type Checking for Database Access Code
par: Kirz, Thomas James, et autres
Publié: (2026)

Inferring Non-Failure Conditions for Declarative Programs
par: Hanus, Michael
Publié: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
par: Li, Ziyang, et autres
Publié: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
par: Wang, Claire, et autres
Publié: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023)

Easing Maintenance of Academic Static Analyzers
par: Monat, Raphaël, et autres
Publié: (2024)

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

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
par: Monniaux, David
Publié: (2024)

A Program Logic for Under-approximating Worst-case Resource Usage
par: Jin, Ziyue, et autres
Publié: (2025)