jwnhy

icon indicating a website link hongyi.lu icon indicating an email [email protected]

icon company HKUST/SUSTech icon location Shenzhen, Guangdong, China icon location Ph.D. candidate @ HKUST/SUSTech System security.

Results 3 issues of jwnhy

Coq Platform does not work with `make`

26 comment

I installed Coq Platform with `snapd`. It seems incompatible with the system-level `make`. ```bash COQDEP VFILES /bin/sh: line 1: coqdep: command not found COQDEP VFILES /bin/sh: line 1: coqdep: command...

platform: snap

Questions regarding to value-flow of function arguments.

1 comment

Thanks for providing such useful tools. I have no experience in software analysis before and am currently using `SVF` in one of my research project (analyzing linux kernel and using...

Add builders for registers

2 comment

This is a rework of #77. In #77, there is detailed explaination about why this is needed. I have taken advices that we should add a new type to store...