ciselab/CPS_SPA_Detection_Tool

Python

Issues

[P1] Blocking issue for qgroundcontrol project.
#24 opened 3 years ago by IvDinten
0
[P1][Docker] UID permission issue blocks history comparison by the script.
#23 opened 3 years ago by IvDinten
0
[P5] Update README on usage.
#11 opened 3 years ago by IvDinten
1
[P2] Improve detecting encoding.
#20 opened 3 years ago by IvDinten
2
[P5] Improve detect encoding speed.
#22 opened 3 years ago by IvDinten
0
[P5] Typeset Antrl4 script.
#10 opened 3 years ago by IvDinten
0
[P5] Add DocString for Antrl4 script.
#9 opened 3 years ago by IvDinten
0
[P2] Update list of interesting keywords (different types of sleeps).
#15 opened 3 years ago by IvDinten
0
[P1] Antlr4 to work together with search_current_history.py.
#4 opened 3 years ago by IvDinten
0
[P3][RE] Detect mathematical statements.
#8 opened 3 years ago by IvDinten
0
[P3][RE] Use Antlr4 to detect risky types.
#7 opened 3 years ago by IvDinten
0
[P2] Detect encoding file.
#19 opened 3 years ago by IvDinten
0
[P4] Antlr4 map (or documentation) to symbol.type types (for example "type": 1 or "type": 132 is what type?)
#17 opened 3 years ago by IvDinten
1
[P2][RE] Use Antlr4 for detection of types.
#6 opened 3 years ago by IvDinten
0
[P1] Bug: "line 2:0 mismatched input"
#18 opened 3 years ago by IvDinten
3
[P1] Antlr4 to work together with search_current.py.
#3 opened 3 years ago by IvDinten
0
[P4] Use Antlr4 with negative values.
#16 opened 3 years ago by IvDinten
0
[P1] Use Antlr4 to follow variable assignment.
#5 opened 3 years ago by IvDinten
0
[P1] Antlr4 to detect keywords.
#2 opened 3 years ago by IvDinten
0
[P5] Use keywords for hardware related method names.
#14 opened 3 years ago by IvDinten
0
[P3][FCR] Re-use implementation to do step 2,3,4 of the FCR procedure.
#13 opened 3 years ago by IvDinten
0
[P3][FCR] Detect communication rate settler.
#12 opened 3 years ago by IvDinten
0