Using Datalog with Binary Decision Diagrams for Program Analysis

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Asian Symposium on Programming Languages and Systems

• Publication date

  2005-11-02

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11575467_8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Context-sensitive program analysis as database queries

  2005cited by this paper
• Improving software security with a C pointer analysis

  2005cited by this paper
• A probabilistic language based upon sampling functions

  2005influential reference
• Finding Security Vulnerabilities in Java Applications with Static Analysis

  2005cited by this paper
• Finding application errors and security flaws using PQL: a program query language

  2005cited by this paper
• Incremental execution of transformation specifications

  2004cited by this paper
• Finding Application Errors Using PQL: a Program Query Language

  2004cited by this paper
• Jedd: a BDD-based relational extension of Java

  2004cited by this paper
• Symbolic pointer analysis revisited

  2004cited by this paper
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

  2004influential reference
• Modular Class Analysis with DATALOG

  2003cited by this paper
• Efficient fixpoint computation in linear tabling

  2003cited by this paper
• Simple and efficient relational querying of software structures

  2003cited by this paper
• Library

  2002cited by this paper
• Symbolic pointer analysis

  2002cited by this paper
• Automatically validating temporal safety properties of interfaces

  2001cited by this paper
• Static analysis in datalog extensions

  2001cited by this paper
• Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification

  2000cited by this paper
• Bebop: A Symbolic Model Checker for Boolean Programs

  2000cited by this paper
• BuDDy : A binary decision diagram package.

  1999influential reference
• Identifying loops in almost linear time

  1999cited by this paper
• Practical program analysis using general purpose logic programming systems—a case study

  1996cited by this paper
• Tabled Evaluation with Delaying for General Logic Programs

  1996cited by this paper
• Bottom-up evaluation of logic programs using binary decision diagrams

  1995cited by this paper
• A survey of deductive database systems

  1995cited by this paper
• A Survey of Research in Deductive Database Systems

  1995cited by this paper
• XSB as an efficient deductive database engine

  1994cited by this paper
• Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains

  1993cited by this paper
• Demand Interprocedural Program Analysis Using Logic Databases

  1993cited by this paper
• Computational Logic - Essays in Honor of Alan Robinson

  1991cited by this paper
• Bottom-Up Evaluation of Logic Programs

  1991cited by this paper
• The well-founded semantics for general logic programs

  1991cited by this paper
• Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

  1990cited by this paper
• Bottom-up beats top-down for datalog

  1989cited by this paper
• Graph-based Algorithm for Boolean Function Manipulation

  1989cited by this paper
• Efficient evaluation of right-, left-, and multi-linear rules

  1989cited by this paper
• Programming Languages Implementation and Logic Programming

  1989cited by this paper
• Principles of database and knowledge- base systems

  1989cited by this paper
• Principles of Database and Knowledge-Base Systems, Volume II

  1988cited by this paper
• Optimizing datalog programs

  1987cited by this paper
• Graph-Based Algorithms for Boolean Function Manipulation

  1986influential reference
• OLD Resolution with Tabulation

  1986cited by this paper
• Magic sets and other strange ways to implement logic programs (extended abstract)

  1985cited by this paper
• Horn Clauses Queries and Generalizations

  1985cited by this paper
• Logic Programming and Databases

  1984cited by this paper
• Testing flow graph reducibility

  1973cited by this paper

• Programming by Navigation

  2025cites this paper
• Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

  2025cites this paper
• DALEQ - Explainable Equivalence for Java Bytecode

  2025cites this paper
• Analytic Procgen with Composable Design Space Expressions

  2025cites this paper
• Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

  2025cites this paper
• DP-S3: software defect prediction through feature fusion with syntax trees, program slices and standard features

  2025cites this paper
• Bi-directional Taint Flow Analysis: A High-precision Static Detection Approach for Java Deserialization Vulnerabilities

  2025cites this paper
• Probabilistic Inference for Datalog with Correlated Inputs

  2025cites this paper
• Context-Free Language Reachability via Skewed Tabulation

  2024cites this paper
• Isabelle-verified correctness of Datalog programs for program analysis

  2024cites this paper
• ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries

  2024cites this paper
• Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

  2024cites this paper
• Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

  2024cites this paper
• Bring Your Own Data Structures to Datalog

  2023cites this paper
• Better Together: Unifying Datalog and Equality Saturation

  2023cites this paper
• Dependency-Aware Metamorphic Testing of Datalog Engines

  2023cites this paper
• Communication-Avoiding Recursive Aggregation

  2023cites this paper
• Adaptive Recursive Query Optimization

  2023cites this paper
• Annotative Software Product Line Analysis Using Variability-Aware Datalog

  2023cites this paper
• Declarative static analysis for multilingual programs using CodeQL

  2023cites this paper
• The Fine-Grained Complexity of CFL Reachability

  2023cites this paper
• Higher-Order, Data-Parallel Structured Deduction

  2022cites this paper
• Declarative smart contracts

  2022cites this paper
• Creating concise and efficient dynamic analyses with ALDA

  2022cites this paper
• Towards Better Understanding of the Performance and Design of Datalog Systems

  2022cites this paper
• Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe

  2022cites this paper
• Fifty Years of Prolog and Beyond

  2022cites this paper
• Refining Indirect Call Targets at the Binary Level

  2021cites this paper
• Efficient and Standardised Program Analyses using Semantic Methodologies

  2021cites this paper
• Towards Fully Declarative Program Analysis via Source Code Transformation

  2021cites this paper
• An Extensive Security Analysis on Ethereum Smart Contracts

  2021cites this paper
• Making sense of raw input

  2021cites this paper
• Sporq: An Interactive Environment for Exploring Code using Query-by-Example

  2021cites this paper
• Defeasible Reasoning via Datalog¬

  2021cites this paper
• Metamorphic testing of Datalog engines

  2021cites this paper
• Modern Datalog Engine Flavors

  2021cites this paper
• Static Analysis of Shape in TensorFlow Programs (Artifact)

  2020cites this paper
• Debugging Large-scale Datalog

  2020cites this paper
• Formulog: Datalog for SMT-based static analysis

  2020influential citation
• Putting the semantics into semantic versioning

  2020cites this paper
• Formal Verification of Hardware Components in Critical Systems

  2020cites this paper
• OPAL: An extensible framework for ontology‐based program analysis

  2020cites this paper
• A programming model for semi-implicit parallelization of static analyses

  2020cites this paper
• HARP: Holistic Analysis for Refactoring Python-Based Analytics Programs

  2020cites this paper
• Specializing parallel data structures for Datalog

  2020cites this paper
• Provenance for Large-scale Datalog

  2019cites this paper
• Next-paradigm programming languages: what will they look like and what changes will they bring?

  2019cites this paper
• Lifting Datalog-based analyses to software product lines

  2019cites this paper
• Enhancing Magic Sets with an Application to Ontological Reasoning

  2019cites this paper
• Scalable logic defined static analysis

  2019influential citation
• Fast Parallel Equivalence Relations in a Datalog Compiler

  2019cites this paper
• Practical Verification of Logic Program Termination

  2019cites this paper
• Datalog + SMT for Static Analysis

  2019cites this paper
• Mitigating power side channels during compilation

  2019cites this paper
• Datalog Disassembly

  2019cites this paper
• Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

  2019cites this paper
• MetaDL: analysing Datalog in Datalog

  2019cites this paper
• A specialized B-tree for concurrent datalog evaluation

  2019cites this paper
• MetaDL : Analysing Datalog in Datalog Alexandru Dura

  2019cites this paper
• Brie: A Specialized Trie for Concurrent Datalog

  2019cites this paper
• Vandal: A Scalable Security Analysis Framework for Smart Contracts

  2018influential citation
• Logic programming applications: what are the abstractions and implementations?

  2018cites this paper
• Two concurrent data structures for efficient datalog query processing

  2018cites this paper
• Efficient verification of railway infrastructure designs against standard regulations

  2018cites this paper
• Beyond Deductive Methods in Program Analysis

  2018cites this paper
• FormuLog: Datalog for static analysis involving logical formulae

  2018cites this paper
• Variant Analysis with QL

  2018cites this paper
• Static Analysis For Gpu Program Performance

  2018cites this paper
• Lightweight Multilingual Software Analysis

  2018cites this paper
• Scaling-Up In-Memory Datalog Processing: Observations and Techniques

  2018cites this paper
• Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe

  2018cites this paper
• Efficient Runtime Verification of First-Order Temporal Properties

  2018cites this paper
• Static analysis of Java dynamic proxies

  2018cites this paper
• Lowering Knowledge Barriers for HPC: From Representations to Infrastructures and Acquisitions.

  2018cites this paper
• Automatic Index Selection for Large-Scale Datalog Computation

  2018cites this paper
• User-guided program reasoning using Bayesian inference

  2018cites this paper
• Efficient Reflection String Analysis via Graph Coloring

  2018cites this paper
• First-order temporal logic monitoring with BDDs

  2017cites this paper
• Combining the logical and the probabilistic in program analysis

  2017cites this paper
• Certifying Standard and Stratified Datalog Inference Engines in SSReflect

  2017cites this paper
• Interactive Synthesis of Code Level Security Rules

  2017cites this paper
• kProbLog: an algebraic Prolog for machine learning

  2017influential citation
• Efficient vulnerability detection based on an optimized rule-checking static analysis technique

  2017cites this paper
• Abstract Interpretation of Stateful Networks

  2017cites this paper
• Datalog Engine Input Program Intensional Database ( Analysis ) Extensional Database ( Relations ) Extractor Query Result Datalog Interpreter Parser Semantic Checker Intensional Database Extensional Database Semi-Naive Evaluation Query Result C + + Executable Datalog Compiler Parser Semantic Checker

  2017cites this paper
• Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

  2017cites this paper
• Effective interactive resolution of static analysis alarms

  2017cites this paper
• Large-Scale Provenance for Soufflé

  2017cites this paper
• Dyna 2: Towards a General Weighted Logic Language

  2017cites this paper
• Toward Parallel CFA with Datalog , MPI , and CUDA

  2017cites this paper
• Recovering structural information for better static analysis

  2017cites this paper
• Optimal On The Fly Index Selection in Polynomial Time

  2017cites this paper
• Accelerating program analyses by cross-program training

  2016cites this paper
• Dramatically Reducing Software Vulnerabilities: Report to the White House Office of Science and Technology Policy

  2016cites this paper
• Cohesion Metrics for Improving Software Quality

  2016cites this paper
• Datafun: a functional Datalog

  2016cites this paper
• A Succinct Approach to Static Analysis and Model Checking

  2016cites this paper
• Defensive Analysis: Soundness in Extreme Conditions

  2016cites this paper
• On fast large-scale program analysis in Datalog

  2016cites this paper
• Soufflé: On Synthesis of Program Analyzers

  2016cites this paper