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 3 issues of Dongjie

Another reason for the unstable propagation of the faster IFDS solver

Another unstable reason is due to the invocation order of `isCallSiteActivatingTaint` (contains the read of `activationUnitsToCallSites`) and `registerActivationCallSite` (contains the write of `activationUnitsToCallSites`). For a given activation unit, the difference...

The first example " 1. BFV Basics" could not run succefully while others can

Hi, I am learning SEAL (using revision [206648d]) with examples. The first example will encounter early termination problems while others seem correct. Can you help to check this issue? +---------------------------------------------------------+...

isses when upgrading soot version from current one to 4.50 or higher

When upgrading soot to a newer version and running the test cases (saying "Assignment" in TaintAnalysisTest.java), the following exception is thrown: ``` Exception in thread "Thread-9" java.lang.AssertionError: Statement this :=...