DASA: Fully Gradient-Based Program Analysis (Competition Contribution)
No abstract available.
Related papers
- Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage TACAS 2024
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution) TACAS 2013
- CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution) TACAS 2016
- 2LS for Program Analysis - (Competition Contribution) TACAS 2016
- CPAchecker with Adjustable Predicate Analysis - (Competition Contribution) TACAS 2012
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- Predicate Analysis with BLAST 2.7 - (Competition Contribution) TACAS 2012