system-pclub GCatch issues

system-pclub / GCatch

Statically Detecting Go Concurrency Bugs

GNU General Public License v2.0

438 stars 40 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

How to deal with the problem that build SSA failed

#47 xuxiaofan1203 opened 6 months ago
2
How to check real programs whose import paths are defined in go.mod file

#46 xuxiaofan1203 opened 11 months ago
1
Installation issue

#45 johnzhu0907 opened 12 months ago
3
Excise points to

#44 VladSaiocUber closed 1 year ago
0
It does not compile from Dockerfile

#43 rm4n0s opened 1 year ago
0
有没有具体的实现步骤？

#42 lxjlxk opened 2 years ago
0
internal error in pointer analysis: unimplemented: *ssa.SliceToArrayPointer

#41 mzacho opened 2 years ago
0
GCatch: Questions regarding analysis of select statement

#40 JorgeGCoelho opened 2 years ago
0
Add a demo of detection of non-blocking bugs

#39 lzhfromustc closed 2 years ago
0
GCatch installation is broken on Go 1.17.1

#38 disconnect3d opened 2 years ago
1
Update to fix some problems in block combination enumeration and Z3

#37 lzhfromustc closed 2 years ago
0
Questions about BMOC checker

#36 dariusf closed 2 years ago
2
Shihaox/docker

#35 charlesxsh closed 2 years ago
0
Support building and checking an application based on go.mod

#34 lzhfromustc closed 2 years ago
0
Add the verification branch for POPL22 paper

#33 lzhfromustc closed 3 years ago
0
internal error in pointer analysis

#32 rockdaboot opened 3 years ago
1
Fix an error in defer analysis

#31 lzhfromustc closed 3 years ago
0
GCatch as linter on Go code in Goland and Vscode on day-to-day basis

#30 Skarlso opened 3 years ago
1
Improve scripts: Check z3 header; Turn off go module; Add comments

#29 BurtonQin closed 3 years ago
0
Improve GCatch/installZ3.sh

#28 BurtonQin closed 3 years ago
0
BMOC detects blocked channel operation in stdlib that isn't blocked

#27 coder543 opened 3 years ago
4
GCatch: go-cmp causes hang in ComputeDeferMap()

#26 dgryski closed 3 years ago
6
GCatch: default checker (`channel`) doesn't exist

#25 dgryski closed 3 years ago
4
Document which version of golang.org/x/tools was forked

#24 mem opened 3 years ago
5
Installation and other issues

#23 MikkelHJuul opened 3 years ago
21
added executable flag to shell scripts

#22 schigh closed 3 years ago
1
Remove go.mod and go.sum from tools/go directory.

#21 thejerf closed 3 years ago
1
git.gradebot.org not accessible to me

#20 thejerf closed 3 years ago
1
License file

#19 komuw closed 3 years ago
2
Blocking bugs with more than one channels

#18 julien-lange closed 3 years ago
7
Merge my fork's change of BMOC checker

#17 lzhfromustc closed 3 years ago
0
Followup: Upload grpc

#16 lzhfromustc closed 3 years ago
0
Finish BMOC checker and its README.md

#15 lzhfromustc closed 3 years ago
0
update on GFix

#14 sfzhu93 closed 3 years ago
0
Add grpc to testdata

#13 lzhfromustc closed 3 years ago
2
Algorithm to build syncgraph

#12 lzhfromustc closed 3 years ago
0
Move all the checker code into GCatch directory

#11 lzhfromustc closed 3 years ago
0
FollowUp3: Update instinfo and path

#10 lzhfromustc closed 3 years ago
0
FollowUp2: add util functions for syncgraph

#9 lzhfromustc closed 3 years ago
0
Followup: Type definition and related functions for the syncgraph

#8 lzhfromustc closed 3 years ago
0
Define types for the syncgraph

#7 lzhfromustc closed 3 years ago
0
Finished the part of pointer analysis and initialized dependency map

#6 lzhfromustc closed 4 years ago
1
obtain channels from the result of pointer analysis

#5 lzhfromustc closed 4 years ago
0
Define structs of channel and Locker, which will be used later in alias analysis and constraint generation

#4 lzhfromustc closed 4 years ago
1
Init code for pointer analysis

#3 lzhfromustc closed 4 years ago
0
Write a template for GenKill, and Defer analysis based on this template

#2 lzhfromustc closed 4 years ago
3
Update code for flags and package build

#1 lzhfromustc closed 4 years ago
1