Tianrui Zheng issues

Repositories
Issues
Comments

Results 3 issues of


                                            Tianrui Zheng

Relation Model Implementation

This PR is related to #732 and contains the following: 1) Implementation of `RelationModel`, a representation of relations in `Dartagnan` dedicated for better witness generation, and the corresponding "RelationModelManager" that...

Support of Showing Local Events Location in Spirv

In #760 `Local` events are added to witness graph. This PR supports showing source-level location information for `Locals` in Spirv code, since they are often related to control flows (`Phi`...

Add support alloc-free

This PR adds support to detect heap memory safety issues in: 1. adding new event `MemFree` with new tag `FREE` 2. modifying event `MemAlloc` (renamed from `Alloc`), which has new...