Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs
In this paper, we challenge the commonly-accepted wisdom in static analysis that object
sensitivity is superior to call-site sensitivity for object-oriented programs. In static analysis of …
sensitivity is superior to call-site sensitivity for object-oriented programs. In static analysis of …
Demystifying Template-Based Invariant Generation for Bit-Vector Programs
The template-based approach to invariant generation is a parametric and relatively
complete methodology for inferring loop invariants. The relative completeness ensures the …
complete methodology for inferring loop invariants. The relative completeness ensures the …
Learning Abstraction Selection for Bayesian Program Analysis
Y Zhang, Y Shi, X Zhang - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
We propose a learning-based approach to select abstractions for Bayesian program
analysis. Bayesian program analysis converts a program analysis into a Bayesian model by …
analysis. Bayesian program analysis converts a program analysis into a Bayesian model by …
Abstraction-based interaction model for synthesis
Program synthesis is the problem of computing from a specification a program that
implements it. New and popular variations on the synthesis problem accept specifications in …
implements it. New and popular variations on the synthesis problem accept specifications in …
[HTML][HTML] Automatically reducing privilege for access control policies
L D'Antoni, S Ding, A Goel, M Ramesh, N Rungta… - 2024 - amazon.science
Cloud computing provides on-demand access to IT resources via the Internet and access
control policies that are the mechanism cloud users use to secure resources in the cloud …
control policies that are the mechanism cloud users use to secure resources in the cloud …
Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests: A study on the expansion of existing test suites through the creation of …
R Uggelberg - 2022 - diva-portal.org
Many software projects include an extensive suite of example-based unit tests. The
examples in the test suite can be used as an implicit specification of the behavior of the …
examples in the test suite can be used as an implicit specification of the behavior of the …
Programming by predicates: a formal model for interactive synthesis
Program synthesis is the problem of computing from a specification a program that
implements it. New and popular variations on the synthesis problem accept specifications in …
implements it. New and popular variations on the synthesis problem accept specifications in …
Generating Tests by Example
Property-based testing is a technique combining parametric tests with value generators, to
create an efficient and maintainable way to test general specifications. To test the program …
create an efficient and maintainable way to test general specifications. To test the program …