Dongjie

icon indicating a website link https://dongjiehe.github.io/

icon company Chongqing University icon location Chongqing icon location I am interested in Programming Languages, Compilers, and Program Analyses.

Results 2 comments of Dongjie

Running Code in a Single Thread

Hi, Our solver actually runs in a single thread. We are trying to make the solver run with multiple threads but due to performance reasons, we have not submitted the...

Inquiry about the call graph construction

Hi enochii, > Call graph builder (QILIN) and pointer analysis produce different numbers of call edges (42517 vs. 42520). In `runCallgraphAlg`, we forget to exclude implicit call edges in our...