Hello, My name is Saish Kambali and I am a second-year B.Tech CSE student interested in applying for GSOC 2026 with GCC.
Since the GSoC organizations were announced, I have been studying several core concepts including: • GCC intermediate representation (GIMPLE) • GIMPLE in SSA form • Control Flow Graphs and basic blocks • PHI nodes and SSA variables • The GCC static analyzer (-fanalyzer) • Analyzer architecture (supergraph, exploded graph, region_model, and state machines) • Analyzer hooks such as on_stmt and on_call • Core data structures used in the analyzer such as tree nodes and gcall Also, I built GCC from source and have been compiling programs using my local build (xgcc). I also spent time reading state machines such as `sm-malloc.cc`. Also, I have experimented with a toy checker to understand how analyzer hooks and diagnostics work. I also explored modifying `sm-malloc.cc` to detect `malloc(0)`. I am interested in the project idea about extending the static analyzer, especially adding checks for POSIX APIs that are not currently modeled by the analyzer. I am also sharing my GitHub link where I documented my learning and toy checking: https://github.com/SaishKambaliDev/GSoc_2026_Learning.git If there are beginner-friendly issues or recommended points within the analyzer, I would greatly appreciate any guidance. Your's sincerely, Saish Kambali
