Global Software Analysis Competition 2023
Results

Participants Ranking

 

 

Name Team Name Scores Context Sensitivity (ML/BOF/UAF) Field Sensitivity (ML/BOF/UAF) Flow Sensitivity (ML/BOF/UAF) Path Sensitivity (ML/BOF/UAF)
ML
BOF
UAF
1
Vahagn Vardanyan
61
Yes/Yes/Yes
No/Yes/Yes
No/Yes/Yes
Yes/Yes/Yes
10/10 10/10 12/12
2
Sergey Morozov
Yummy
61
Yes/Yes/Yes
Yes/Yes/Yes
Yes/Yes/Yes
Yes/Yes/Yes
10/10 10/10 12/12
3
Artem Sinkevich
SCHLANG 61
Yes/Yes/Yes
Yes/Yes/Yes
Yes/Yes/Yes
Yes/Yes/Yes
10/10 10/10 12/12
4
Evgeny Zhukovsky
KZOO
45
No/Yes/Yes
No/Yes/Yes
No/No/Yes
No/Yes/Yes
4/10 8/10 12/12
5
Gayane Mirakyan
41,3333
No/No/Yes
Yes/No/Yes
No/No/Yes
No/No/No
7/10 7/10 9/12
6
Samvel Mkrtchyan
CodeCrafters 31,3333
No/No/Yes
No/No/No
No/No/Yes
No/No/No
6/10 9/10 5/12
7
Konstantin Kitaev
2
No/No/No
No/No/No
No/No/No
No/No/No
0/10 1/10 1/12
8
Daniil Frolov
SafeCalculator 1
No/No/No
No/No/No
No/No/No
No/No/No
0/10 1/10 0/12
9
Vahram Martirosyan
Carry Bit 1 No/No/No No/No/No
No/No/No
No/No/No
0/10 1/10 0/12