|
|
|
|
|
|
by segfaultbuserr
753 days ago
|
|
|
> What is the purpose of this? It's a demo application of the research team's C compiler front-end [0], and demonstrates its automatic type inference feature. The compiler front-end itself is intended to be a general-purpose library to power high-level static analysis tools. While this demo itself is not very useful, being able to do static analysis on incomplete code snippet is certainly extremely useful. [0] https://github.com/ltcmelo/psychec |
|
|