[Skims] Refac lib_root and symbolic evaluation
Problem to solve
In order to standardize and reduce the complexity of Skims, it is necessary to:
- Use the syntax graph instead of the AST where it is worthwhile
- Use symbolic evaluation in methods that can be used
- Migrate checks from the old symbolic evaluation to use the new one
Links / references
Task List
-
C-sharp method findings -
Java method findings -
JavaScript method findings
SAST symbolic evaluation migration
From the file skims/skims/sast/query.py the following queries should be migrated:
-
F001 (flagos) -
F004 (flagos) -
F008 (flagos) -
F021 JAVA (jromero) -
F021 JS (flagos) -
F034 (flagos) -
F042 JS (ugomez) -
F042 JAVA (flagos) -
F052 (flagos) -
F063 (flagos) -
F089 (flagos) -
F107 (flagos) -
F112 (flagos) -
F127 -> Moved to issue #8407 (closed) -
F320 (ugomez) -
Add TS equivalents for migrated JS methods -
Add test files in libroot method for each migrated method
Edited by Fabio Lagos