Code analysis ideas - Githubissues

aviatesk / JET.jl

An experimental code analyzer for Julia. No need for additional type annotations.

https://aviatesk.github.io/JET.jl/dev/

MIT License

740 stars 30 forks source link

Code analysis ideas #266

Open jtrakk opened 3 years ago

jtrakk commented 3 years ago

It might be interesting to have a list of ideas for analyses that could be implemented with JET. This could yield future projects for contributors, maybe some GSoC participants, etc.

jtrakk commented 3 years ago

To start off:

Find code influencing/influenced by a value: https://github.com/willcrichton/flowistry
Security taint analysis: https://pyre-check.org/docs/pysa-basics
Type queries: https://pyre-check.org/docs/querying-pyre