[HN Gopher] Psyche-C: automatic compilation of partially-availab...
       ___________________________________________________________________
        
       Psyche-C: automatic compilation of partially-available C programs
        
       Author : PaulHoule
       Score  : 41 points
       Date   : 2024-05-23 18:30 UTC (3 days ago)
        
 (HTM) web link (cuda.dcc.ufmg.br)
 (TXT) w3m dump (cuda.dcc.ufmg.br)
        
       | bluetomcat wrote:
       | Looks like a solution in search of a problem. Given the weakly-
       | typed nature of C, how can this ever be reliable? In an
       | expression like "x = y", the operands can differ in size and
       | signedness. The inferred types can be wrong and the resulting
       | program can expose different behavior.
        
         | bee_rider wrote:
         | They describe that part as the "cool challenge" on their page,
         | so I guess it must be part of the research.
        
       | iiio8 wrote:
       | I was expecting this to be yet another LLM application, a la
       | Copilot. Do the authors consider this, like now 6 years later?
        
         | nextaccountic wrote:
         | This is complimentary to LLMs. For example, LLMs often produce
         | code that doesn't quite compile. What if with some tweaks we
         | could make it run and produce _some_ output? Then, we could
         | assess if the output is right.
        
       | saagarjha wrote:
       | What is the purpose of this? You pull some stuff out of IDA and
       | bash it until it works? Not entirely sure what you could do with
       | this given the mechanics behind what it does to fill in the
       | missing code...
        
       | quelsolaar wrote:
       | It would be super cool to see it generate the missing definitions
       | and declarations to make it comparable in a regular C compiler.
       | It would help a lot when reconstructing missing header files, and
       | similar lost source data.
        
       ___________________________________________________________________
       (page generated 2024-05-26 23:00 UTC)