search

system-pclub / GCatch

Statically Detecting Go Concurrency Bugs
GNU General Public License v2.0
435 stars 40 forks source link

FollowUp3: Update instinfo and path #10

Closed lzhfromustc closed 3 years ago

lzhfromustc commented 3 years ago

This PR needs to be merged after "FollowUp2: add util functions for syncgraph"

Add a debug function in instinfo.

Add a function in path to analyze the next BB of select statement. This will be used by SyncGraph later