Skip to content

Commit de4b82f

Browse files
committed
done type1
1 parent dcb3690 commit de4b82f

4 files changed

+91
-90
lines changed

benchtype1aper.md

+36-36
Original file line numberDiff line numberDiff line change
@@ -9,39 +9,39 @@ css: ["categories.css"]
99

1010
{% include benchmarks/type1/lint.html %}
1111

12-
Name|True Positive|False Negative|False Positive|True Negative|Failed
13-
SkyMap|Yes|No|No|Yes|No
14-
AndroidCommons_1530|Yes|No|No|Yes|No
15-
GoodWeather_2b5e|Yes|No|No|Yes|No
16-
GoodWeather_e1be|Yes|No|No|Yes|No
17-
OneBusWay|Yes|No|No|Yes|No
18-
WordPress|Yes|No|No|Yes|No
19-
Wiglenet|Yes|No|Yes|Yes|No
20-
QKSMS|Yes|No|No|Yes|No
21-
Mapbox-android-demo|Yes|No|Yes|Yes|No
22-
SMS_Parsing|No|Yes|No|No|No
23-
Dashboard|Yes|No|No|Yes|No
24-
AndroidCommons_Da38|No|Yes|No|No|No
25-
Nearby|Yes|No|No|Yes|No
26-
Mapswithme|Yes|No|No|Yes|No
27-
GetBackGPS|No|Yes|No|No|No
28-
Protesttracker|No|Yes|No|No|No
29-
MapBoxEvent|Yes|No|No|Yes|No
30-
Navit|Yes|No|No|Yes|No
31-
LandScape|Yes|No|No|Yes|No
32-
CameraView|Yes|No|No|Yes|No
33-
Ventivader|Yes|No|No|Yes|No
34-
WeeChatAndroid|Yes|No|No|Yes|No
35-
MyPlace|Yes|No|No|Yes|No
36-
TransDroid|No|Yes|No|No|No
37-
Evercam|Yes|No|No|Yes|No
38-
Collect|Yes|No|No|Yes|No
39-
ConsoleLauncher|Yes|No|No|Yes|No
40-
GoodWeather_81ea|Yes|No|No|Yes|No
41-
LocationSample|Yes|No|No|Yes|No
42-
CreatePDF|Yes|No|Yes|Yes|No
43-
VREM|Yes|No|No|Yes|No
44-
K9Mail|No|Yes|No|No|No
45-
KaspatContacts|No|Yes|No|No|No
46-
ImageCipher|No|Yes|No|No|No
47-
Muzei|No|Yes|No|No|No
12+
Name|True Positive|True Negative|False Positive|False Negative|Failed
13+
SkyMap|Yes|Yes|No|No|No
14+
AndroidCommons_1530|Yes|Yes|No|No|No
15+
GoodWeather_2b5e|Yes|Yes|No|No|No
16+
GoodWeather_e1be|Yes|Yes|No|No|No
17+
OneBusWay|Yes|Yes|No|No|No
18+
WordPress|Yes|Yes|No|No|No
19+
Wiglenet|Yes|No|Yes|No|No
20+
QKSMS|Yes|Yes|No|No|No
21+
Mapbox-android-demo|Yes|No|Yes|No|No
22+
SMS_Parsing|No|Yes|No|Yes|No
23+
Dashboard|Yes|Yes|No|No|No
24+
AndroidCommons_Da38|No|Yes|No|Yes|No
25+
Nearby|Yes|Yes|No|No|No
26+
Mapswithme|Yes|Yes|No|No|No
27+
GetBackGPS|No|Yes|No|Yes|No
28+
Protesttracker|No|Yes|No|Yes|No
29+
MapBoxEvent|Yes|Yes|No|No|No
30+
Navit|Yes|Yes|No|No|No
31+
LandScape|Yes|Yes|No|No|No
32+
CameraView|Yes|Yes|No|No|No
33+
Ventivader|Yes|Yes|No|No|No
34+
WeeChatAndroid|Yes|Yes|No|No|No
35+
MyPlace|Yes|Yes|No|No|No
36+
TransDroid|No|Yes|No|Yes|No
37+
Evercam|Yes|Yes|No|No|No
38+
Collect|Yes|Yes|No|No|No
39+
ConsoleLauncher|Yes|Yes|No|No|No
40+
GoodWeather_81ea|Yes|Yes|No|No|No
41+
LocationSample|Yes|Yes|No|No|No
42+
CreatePDF|Yes|No|Yes|No|No
43+
VREM|Yes|Yes|No|No|No
44+
K9Mail|No|Yes|No|Yes|No
45+
KaspatContacts|No|Yes|No|Yes|No
46+
ImageCipher|No|Yes|No|Yes|No
47+
Muzei|No|Yes|No|Yes|No

benchtype1arpdroid.md

+23-22
Original file line numberDiff line numberDiff line change
@@ -10,38 +10,39 @@ css: ["categories.css"]
1010
{% include benchmarks/type1/lint.html %}
1111

1212
Name|True Positive|True Negative|False Positive|False Negative|Failed
13-
SkyMap|No|Yes|No|No|Yes
13+
SkyMap|No|Yes|No|Yes|No
1414
AndroidCommons_1530|Yes|No|Yes|No|No
15-
GoodWeather_2b5e|No|Yes|No|No|Yes
16-
GoodWeather_e1be|No|Yes|No|No|Yes
17-
OneBusWay|No|Yes|No|No|Yes
18-
WordPress|No|Yes|No|No|Yes
19-
Wiglenet|No|Yes|No|No|Yes
20-
QKSMS|No|Yes|No|No|Yes
21-
Mapbox-android-demo|No|Yes|No|No|Yes
22-
Dashboard|No|Yes|No|No|Yes
23-
Nearby|No|Yes|No|No|Yes
24-
Mapswithme|No|Yes|No|No|Yes
15+
GoodWeather_2b5e|No|Yes|No|Yes|No
16+
GoodWeather_e1be|No|Yes|No|Yes|No
17+
OneBusWay|No|Yes|No|Yes|No
18+
WordPress|No|Yes|No|Yes|No
19+
Wiglenet|No|Yes|No|Yes|No
20+
QKSMS|No|Yes|No|Yes|No
21+
Mapbox-android-demo|No|Yes|No|Yes|No
22+
Dashboard|No|Yes|No|Yes|No
23+
Nearby|No|Yes|No|Yes|No
24+
Mapswithme|No|Yes|No|Yes|No
2525
MapBoxEvent|Yes|No|Yes|No|No
2626
Navit|Yes|No|Yes|No|No
2727
LandScape|Yes|No|Yes|No|No
2828
CameraView|Yes|No|Yes|No|No
29-
Ventivader|No|Yes|No|No|Yes
30-
WeeChatAndroid|No|Yes|No|No|Yes
29+
Ventivader|No|Yes|No|Yes|No
30+
WeeChatAndroid|No|Yes|No|Yes|No
3131
MyPlace|Yes|No|Yes|No|No
32-
Evercam|No|Yes|No|No|Yes
32+
Evercam|No|No|No|Yes|No
3333
Collect|Yes|No|Yes|No|No
3434
ConsoleLauncher|Yes|No|Yes|No|No
3535
GoodWeather_81ea|Yes|No|Yes|No|No
36-
LocationSample|No|Yes|No|No|Yes
37-
CreatePDF|No|Yes|No|No|Yes
36+
LocationSample|No|Yes|No|Yes|No
37+
CreatePDF|No|Yes|No|Yes|No
3838
VREM|Yes|No|Yes|No|No
3939
SMS_Parsing|Yes|No|Yes|No|No
40-
AndroidCommons_Da38|No|Yes|No|No|Yes
40+
AndroidCommons_Da38|No|Yes|No|Yes|No
4141
GetBackGPS|Yes|No|Yes|No|No
4242
Protesttracker|Yes|No|Yes|No|No
43-
TransDroid|No|Yes|No|No|Yes
44-
K9Mail|No|Yes|No|No|Yes
45-
KaspatContacts|No|Yes|No|No|Yes
46-
ImageCipher|No|Yes|No|No|Yes
47-
Muzei|No|Yes|No|No|Yes
43+
TransDroid|No|Yes|No|Yes|No
44+
K9Mail|No|Yes|No|Yes|No
45+
KaspatContacts|No|Yes|No|Yes|No
46+
ImageCipher|No|Yes|No|Yes|No
47+
Muzei|No|Yes|No|Yes|No
48+

benchtype1lint.md

+5-5
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ css: ["categories.css"]
99

1010
{% include benchmarks/type1/lint.html %}
1111

12-
Name|True Positive|False Negative|False Positive|True Negative|Failed
12+
Name|True Positive|True Negative|False Positive|False Negative|Failed
1313
SkyMap|Yes|No|Yes|No|No
1414
AndroidCommons_1530|Yes|No|Yes|No|No
1515
GoodWeather_2b5e|Yes|No|Yes|No|No
@@ -23,7 +23,7 @@ Dashboard|No|Yes|No|Yes|No
2323
Nearby|Yes|No|Yes|No|No
2424
Mapswithme|No|Yes|No|Yes|No
2525
MapBoxEvent|Yes|No|Yes|No|No
26-
Navit|Yes|No|No|Yes|No
26+
Navit|Yes|Yes|No|No|No
2727
LandScape|No|Yes|No|Yes|No
2828
CameraView|No|Yes|No|Yes|No
2929
Ventivader|No|Yes|No|Yes|No
@@ -32,16 +32,16 @@ MyPlace|Yes|No|Yes|No|No
3232
Evercam|No|Yes|No|Yes|No
3333
Collect|Yes|No|Yes|No|No
3434
ConsoleLauncher|No|Yes|No|Yes|No
35-
GoodWeather_81ea|Yes|No|No|Yes|No
35+
GoodWeather_81ea|Yes|Yes|No|No|No
3636
LocationSample|No|Yes|No|Yes|No
3737
CreatePDF|No|Yes|No|Yes|No
3838
VREM|No|Yes|No|Yes|No
3939
SMS_Parsing|No|Yes|No|Yes|No
4040
AndroidCommons_Da38|No|Yes|No|Yes|No
4141
GetBackGPS|Yes|No|Yes|No|No
42-
Protesttracker|Yes|No|No|Yes|No
42+
Protesttracker|Yes|Yes|No|No|No
4343
TransDroid|No|Yes|No|Yes|No
4444
K9Mail|No|Yes|No|Yes|No
4545
KaspatContacts|No|Yes|No|Yes|No
4646
ImageCipher|No|Yes|No|Yes|No
47-
Muzei|No|Yes|No|Yes|No
47+
Muzei|No|Yes|No|Yes|No

benchtype1revdroid.md

+27-27
Original file line numberDiff line numberDiff line change
@@ -9,39 +9,39 @@ css: ["categories.css"]
99

1010
{% include benchmarks/type1/lint.html %}
1111

12-
Name|True Positive|False Negative|False Positive|True Negative|Failed
13-
SkyMap|No|Yes|No|No|No
12+
Name|True Positive|True Negative|False Positive|False Negative|Failed
13+
SkyMap|No|Yes|No|Yes|No
1414
AndroidCommons_1530|Yes|No|Yes|No|No
15-
GoodWeather_2b5e|Yes|No|No|Yes|No
16-
GoodWeather_e1be|Yes|No|No|Yes|No
17-
OneBusWay|No|Yes|No|No|No
18-
WordPress|No|Yes|No|No|No
19-
Wiglenet|No|Yes|No|No|No
15+
GoodWeather_2b5e|Yes|Yes|No|No|No
16+
GoodWeather_e1be|Yes|Yes|No|No|No
17+
OneBusWay|No|Yes|No|Yes|No
18+
WordPress|No|Yes|No|Yes|No
19+
Wiglenet|No|Yes|No|Yes|No
2020
QKSMS|No|No|No|No|Yes
21-
Mapbox-android-demo|No|Yes|No|No|No
22-
Dashboard|No|Yes|No|No|No
23-
Nearby|No|Yes|No|No|No
24-
Mapswithme|No|Yes|No|No|No
21+
Mapbox-android-demo|No|Yes|No|Yes|No
22+
Dashboard|No|Yes|No|Yes|No
23+
Nearby|No|Yes|No|Yes|No
24+
Mapswithme|No|Yes|No|Yes|No
2525
MapBoxEvent|Yes|No|Yes|No|No
26-
Navit|Yes|No|No|Yes|No
27-
LandScape|Yes|No|No|Yes|No
28-
CameraView|Yes|No|No|Yes|No
26+
Navit|Yes|Yes|No|No|No
27+
LandScape|Yes|Yes|No|No|No
28+
CameraView|Yes|Yes|No|No|No
2929
Ventivader|No|No|No|No|Yes
30-
WeeChatAndroid|No|Yes|No|No|No
31-
MyPlace|Yes|No|No|Yes|No
32-
Evercam|No|Yes|No|No|No
30+
WeeChatAndroid|No|Yes|No|Yes|No
31+
MyPlace|Yes|Yes|No|No|No
32+
Evercam|No|Yes|No|Yes|No
3333
Collect|Yes|No|Yes|No|No
3434
ConsoleLauncher|Yes|No|Yes|No|No
35-
GoodWeather_81ea|Yes|No|No|Yes|No
36-
LocationSample|Yes|Yes|No|No|No
37-
CreatePDF|No|Yes|No|No|No
35+
GoodWeather_81ea|Yes|Yes|No|No|No
36+
LocationSample|No|Yes|No|Yes|No
37+
CreatePDF|No|Yes|No|Yes|No
3838
VREM|Yes|No|Yes|No|No
3939
SMS_Parsing|Yes|No|Yes|No|No
40-
AndroidCommons_Da38|Yes|No|No|Yes|No
41-
GetBackGPS|Yes|No|No|Yes|No
40+
AndroidCommons_Da38|Yes|Yes|No|No|No
41+
GetBackGPS|Yes|Yes|No|No|No
4242
Protesttracker|No|No|No|No|Yes
43-
TransDroid|No|Yes|No|No|No
44-
K9Mail|No|Yes|No|No|No
45-
KaspatContacts|No|Yes|No|No|No
46-
ImageCipher|No|Yes|No|No|No
47-
Muzei|No|Yes|No|No|No
43+
TransDroid|No|Yes|No|Yes|No
44+
K9Mail|No|Yes|No|Yes|No
45+
KaspatContacts|No|Yes|No|Yes|No
46+
ImageCipher|No|Yes|No|Yes|No
47+
Muzei|No|Yes|No|Yes|No

0 commit comments

Comments
 (0)