Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows
- Hiring Organisation
- AdaCore
- Location
- Newport, UK
- Employment Type
- Full-time
objects and pointers to buffers Grouping of buffer pointers and size components Investigate the benefits of using AI to develop an advanced automated project fuzzing workflow. Understanding control flow graphs (statically generated via tools like CLANG) Understanding coverage reports Using the information to dynamically identify the next best subprogram … fuzzing. Identification of subprograms with high complexity Identification of components not applicable for fuzzing (blocking calls to external components, infinite main loops as seen in embedded systems, etc.) Goal 2: Targeted feature integration, for example, we might: Following the rapid prototyping/proof of concept phase, multiple directions ...