Jiawei "Tyler" Gu

Assertion on ParseAPI::CodeObject::parse(target=function_addr, recursive=false)

2

**Describe the bug** ParseAPI::CodeObject::parse(target=function_addr, recursive=false) encounters an assertion when the code object is symbolic link and the resursive flag is set to false. Error message: `parse_resolve: /home/tylerg/dyninst_xsave/parseAPI/src/Parser.C:1529: bool Dyninst::ParseAPI::Parser::parse_frame_one_iteration(Dyninst::ParseAPI::ParseFrame&, bool):...

Starter Project #2: Generating standalone e2e tests to prevent regression

7

## Description We reported bugs to operator developers, and when developers fix the bugs, they often write regression tests along to prevent this bug to be introduced in the future....

Starter Project #1: Deduplicating alarms to improve usability of Acto

3

## Description Acto finds 56 bugs in 11 operators, however, it reports more than two thousand alarms in total. This is because Acto reports duplicated alarms for the same bug....

## Proposal To design a runner interface to support different implementations of runner. A test runner takes a CR as input, applies it to Kubernetes cluster, waits for the system...

Engage with DoK community

1

Data on Kubernetes Community is a community focusing on running statefulset workloads on Kubernetes; and Kubernetes operator is a very important topic in their community. They even have `sig-operator` in...

Startup Project #3: Regression Testing for Acto

1

## Description This project seeks to reduce the cost of Acto. It is very expensive to run Acto on a single version of a project. So, we are interested in...

How to get each Node in the dataflow paths with PathGraph

2

**Description of the issue** ## Use Case We are trying to use the dataflow analysis to get the explicitly accessed fields in a struct in Golang. To do that, we...

Support Acto to run with user provided Kubernetes cluster

1

Add a new implementation of the KubernetesEngine interface to support user-provided Kubernetes clusters. The user-provided Kubernetes cluster has limited configuration, since Acto does not have power to create it. It...

The P compiler throws an unhandled exception instead of reporting syntax error when the program is accessing a variable of a machine reference. While this is not allowed in P's...