Artem Agvanian

icon indicating a website link https://artemagvanian.me icon indicating an email [email protected]

icon location Providence, RI icon location Undergraduate Student & Researcher @ Brown University

Results 6 issues of Artem Agvanian

Anonymization on GDPR GET possibly anonymizes too much

Currently, if a record is owned via multiple paths, all anonymizations that are relevant to each of the paths are applied to the record. This could lead to having overly...

enhancement
good first issue

Improve performance and language support of memory initialization checks

This is a follow-up PR for #3264 in the making, a part of the larger work towards #3300. This PR introduces: - [x] Use of demonic non-determinism (prophecy variables) to...

Z-BenchCI

Tracking Issue: Automatically Verify Memory Initialization

5 comment

Goal: Implement automated and efficient checks for memory initialization in Kani. ## Motivation Safe Rust guarantees that every variable is initialized, and every reference points to a properly allocated and...

[C] Feature / Enhancement
T-TrackingIssue

Make `compiletest` build `std` when it runs

I am currently developing a lint that depends on all MIR from inside `std` to be accessible from the current compilation unit. My lint is packaged using `dylint`, which uses...

Partially integrate uninit memory checks into `verify_std`

This PR partially integrates uninitialized memory checks into the `verify_std` pipeline, which makes it possible to enable them for the Rust Standard Library verification. Changes: - Move `mem_init.rs` library code...

Z-BenchCI

Cross-function union instrumentation

This PR introduces support for memory initialization checks for unions passed across the function boundary. Whenever a union is passed as an argument, we need to make sure that its...

Z-BenchCI