fixed CI, requirements and nits

README.md

@@ -6,7 +6,7 @@ This repo hosts an open-source Python branch of the static analysis tool Vanguar
 
 The following libraries are required for running (different components of) the tool:
 
-- Python (3.12+) for running Vanguard and its Aleo detectors
+- Python (3.10+) for running Vanguard and its Aleo detectors
   - [NetworkX](https://networkx.org/documentation/stable/install.html) (3.2.1+) for speeding up graph reachability in detectors
   - [Antlr](https://www.antlr.org/) (4.13.1) and its Python binding for loading and parsing Aleo programs
     - `pip install antlr4-python3-runtime==4.13.1`

pyproject.toml

@@ -6,7 +6,7 @@ authors = [
 ]
 description = "Static analysis for Aleo"
 readme = "README.md"
-requires-python = ">=3.12"
+requires-python = ">=3.10"
 classifiers = [
     "Programming Language :: Python :: 3",
     "License :: OSI Approved :: MIT License",

tests/scripts/dep.py

@@ -1,7 +1,7 @@
-import lark
 import networkx
 import bs4
 import pandas
+import antlr4
 
 if __name__ == "__main__":
     print("Hello World!")

tests/scripts/test-divz.py

@@ -1,5 +1,5 @@
 from vanguard.aleo.grammar import AleoEnvironment
-from vanguard.aleo.detectors.divz import detector_divz
+from vanguard.aleo.detectors import detector_divz
 
 if __name__ == "__main__":
     project_name = "divz0"

tests/scripts/test-infoleak.py

@@ -1,5 +1,5 @@
 from vanguard.aleo.grammar import AleoEnvironment
-from vanguard.aleo.detectors.infoleak import detector_infoleak
+from vanguard.aleo.detectors import detector_infoleak
 
 if __name__ == "__main__":
     project_name = "infoleak0"

tests/scripts/test-rtcnst.py

@@ -1,5 +1,5 @@
 from vanguard.aleo.grammar import AleoEnvironment
-from vanguard.aleo.detectors.rtcnst import detector_rtcnst
+from vanguard.aleo.detectors import detector_rtcnst
 
 if __name__ == "__main__":
     project_name = "rtcnst0"

tests/scripts/test-unused.py

@@ -1,5 +1,5 @@
 from vanguard.aleo.grammar import AleoEnvironment
-from vanguard.aleo.detectors.unused import detector_unused
+from vanguard.aleo.detectors import detector_unused
 
 if __name__ == "__main__":
     project_name = "unused0"

vanguard/aleo/grammar/blocks.py

@@ -18,7 +18,7 @@ def __init__(self, build_path, main_file: str="main.aleo"):
     def load(self, build_path: Union[str, Path], main_file: str="main.aleo"):
         path = build_path if isinstance(build_path, Path) else Path(build_path)
         # look for main.aleo and deploy
-        print(f"# [debug] deploy: {main_file}")
+        # print(f"# [debug] deploy: {main_file}")
         main_path = path / main_file
         main_json = aleo2json(main_path)
         self.main = self.deploy(main_json)