Skip to content
View enochii's full-sized avatar
๐ŸŠ
What's next then..
๐ŸŠ
What's next then..

Block or report enochii

Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
enochii/readme.md

Hi there ๐Ÿ‘‹

enochii

I am Chenghang Shi, a Ph.D. candidate at ICT, UCAS, under the supervision of Prof. Lian Li. My research interests mainly lie in the intersection of programming language and software engineering, focusing on program analysis techniques.

More information can be found on my homepage.

Profile Summary

summary

Pinned Loading

  1. simple-pointer-analysis simple-pointer-analysis Public

    Pointer analysis prototype (currently including anderson, steensgard).

    C++ 17 1

  2. SVF-tools/SVF SVF-tools/SVF Public

    Static Value-Flow Analysis Framework for Source Code

    C++ 1.7k 493