The cps_spa_detection_tool from ciselab

[P1] Antlr4 to detect keywords.

[P5] Improve detect encoding speed.

Improve detect encoding speed, for example by using python-magic.

[P4] Antlr4 map (or documentation) to symbol.type types (for example "type": 1 or "type": 132 is what type?)

[P3][RE] Detect mathematical statements.

[P1] Antlr4 to work together with search_current.py.

Linked to #2

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

Requires #6 to be implemented first.

[P1] Use Antlr4 to follow variable assignment.

Linked to #2, #3, #4

[P5] Add DocString for Antrl4 script.

[P1] Antlr4 to work together with search_current_history.py.

Linked to #2 and #3.

[P5] Use keywords for hardware related method names.

[P2] Improve detecting encoding.

Issue with decoding has been solved with #19, though the detecting the encoding of the file could be more efficient. There is an odd issue between using with open() to read files and using Antlr4's FileStream. Where it seems that in some cases with open() works with a specific encoding and FileStream doesn't (or at least it throws an exception I cannot seem to catch, breaking the encoding check function).

Low priority as the fix in #19 seem to work for the cases checked so far.

[P2] Detect encoding file.

[P1][Docker] UID permission issue blocks history comparison by the script.

Doing a checkout of a file to a previous version, requires permissions to be set correctly. Currently a permission issue blocks changes in .git/index file.

[P4] Use Antlr4 with negative values.

Check for use-cases.

[P3][FCR] Detect communication rate settler.

Check for keywords like: set, frequency, communication etc.
Check the input argument.

[P1] Bug: "line 2:0 mismatched input"

After commit 6d2dc93 (which is linked to #3), this error appears (as shown it appears two times):

line 2:0 mismatched input '""' expecting {<EOF>, 'alignas', 'asm', 'auto', 'bool', 'char', 'char16_t', 'char32_t', 'class', 'const', 'constexpr', 'decltype', 'double', 'enum', 'explicit', 'extern', 'float', 'friend', 'inline', 'int', 'long', 'mutable', 'namespace', 'operator', 'register', 'short', 'signed', 'static', 'static_assert', 'struct', 'template', 'thread_local', 'typedef', 'typename', 'union', 'unsigned', 'using', 'virtual', 'void', 'volatile', 'wchar_t', '(', '[', '*', '&', '~', AndAnd, '::', ';', '...', Identifier}

line 2:0 mismatched input '""' expecting {<EOF>, 'alignas', 'asm', 'auto', 'bool', 'char', 'char16_t', 'char32_t', 'class', 'const', 'constexpr', 'decltype', 'double', 'enum', 'explicit', 'extern', 'float', 'friend', 'inline', 'int', 'long', 'mutable', 'namespace', 'operator', 'register', 'short', 'signed', 'static', 'static_assert', 'struct', 'template', 'thread_local', 'typedef', 'typename', 'union', 'unsigned', 'using', 'virtual', 'void', 'volatile', 'wchar_t', '(', '[', '*', '&', '~', AndAnd, '::', ';', '...', Identifier}

Traceback (most recent call last):
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\main.py", line 56, in <module>
    main()
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\main.py", line 26, in main
    search.main(patterns.MAGICAL_WAITING_NUMBER)
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\search.py", line 267, in main
    initial_search()
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\search.py", line 87, in initial_search
    count, results = process_file(relative_filename, file_encoding)
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\search.py", line 108, in process_file
    return ast_cpp_antlr.parse_file(abs_path, encoding, current_project.pattern_name)
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\ast_cpp_antlr.py", line 58, in parse_file
    result_interest, number_results = translation_unit.find_identifier(term)
  File "C:\Users\Imara\Documents\GitHub\CPS_SPA_Detection_Tool\dt\ast_impl\cpp\types.py", line 18, in find_identifier
    for identifier in func_body.find_identifier(id_name):
AttributeError: 'tuple' object has no attribute 'find_identifier'

Process finished with exit code 1

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

See document D5.2

ciselab / cps_spa_detection_tool Goto Github PK

cps_spa_detection_tool's People

Contributors

Watchers

cps_spa_detection_tool's Issues

Recommend Projects

Recommend Topics

Recommend Org