Re:Psyche-C: automatic compilation of partially-available C ...
by segfaultbuserr on Sunday May 26, 2024 @10:14PM
(#40487061)
> 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.
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