Large Language Model Llm For Source Code Analysis In Security Evaluation H/F

The objective of this internship is to show how the LLM approach modifies the traditional approach using static analysis techniques. Several new LLM-based approaches will have to be defined and experimented on code bases. The complementarity of an LLM with static analysis tools, in particular those provided by the Frama-C platform [2] will have to be studied, for example the automatic generation of formal specifications for Frama-C/WP.

[2] https://frama-c.com