objectionary / ideas

Here we keep ideas for future research in EO programming language and Polystat static analyzer
https://www.eolang.org
7 stars 0 forks source link

Whole-program analyzer of XMIR files #21

Open yegor256 opened 1 year ago

yegor256 commented 1 year ago

EO is our own experimental object-oriented programming language: www.eolang.org

Let's create a Java class that takes a directory with .xmir files (created by EO parser from .eo files), goes through all of them one by one and accumulate certain knowledge about them. Then, goes through the knowledge base created and finds inconsistencies. The Java class will become a "Mojo" in our Maven plugin: https://github.com/objectionary/eo