Issues

• [P1] Blocking issue for qgroundcontrol project.

  bugP1
  ciselab/CPS_SPA_Detection_Tool#24 · Filter by author IvDinten opened on Mar 17, 2022
  

• [P5] Improve detect encoding speed.

  enhancementP5
  ciselab/CPS_SPA_Detection_Tool#22 · Filter by author IvDinten opened on Mar 14, 2022

• [P4] Use Antlr4 with negative values.

  enhancementP4question
  ciselab/CPS_SPA_Detection_Tool#16 · Filter by author IvDinten opened on Feb 23, 2022

• [P5] Use keywords for hardware related method names.

  enhancementP5Short
  ciselab/CPS_SPA_Detection_Tool#14 · Filter by author IvDinten opened on Feb 23, 2022

• [P3][FCR] Re-use implementation to do step 2,3,4 of the FCR procedure.

  enhancementP3
  ciselab/CPS_SPA_Detection_Tool#13 · Filter by author IvDinten opened on Feb 23, 2022 · AP FCR

• [P3][FCR] Detect communication rate settler.

  enhancementP3
  ciselab/CPS_SPA_Detection_Tool#12 · Filter by author IvDinten opened on Feb 23, 2022 · AP FCR

• [P3][RE] Detect mathematical statements.

  enhancementP3
  ciselab/CPS_SPA_Detection_Tool#8 · Filter by author IvDinten opened on Feb 23, 2022 · AP RE
  

• [P3][RE] Use Antlr4 to detect risky types.

  enhancementP3
  ciselab/CPS_SPA_Detection_Tool#7 · Filter by author IvDinten opened on Feb 23, 2022 · AP RE
  

• [P2][RE] Use Antlr4 for detection of types.

  enhancementP2
  ciselab/CPS_SPA_Detection_Tool#6 · Filter by author IvDinten opened on Feb 23, 2022 · AP RE
  

• [P1] Use Antlr4 to follow variable assignment.

  enhancementP1
  ciselab/CPS_SPA_Detection_Tool#5 · Filter by author IvDinten opened on Feb 23, 2022 · AP MWN