Repository navigation

Model Extern Callback Calls in LLVM Call Graphs - #849

Merged

fabianbs96 merged 6 commits into

secure-software-engineering:developmentfrom

e345ee:development

Jul 9, 2026

Merged

Model Extern Callback Calls in LLVM Call Graphs#849
fabianbs96 merged 6 commits into
secure-software-engineering:developmentfrom
e345ee:development

Commits on Jul 6, 2026
- Model Extern Callback Calls
  e345ee
  committed
  df262ba
- Improve Extern Callback Model Validation
  e345ee
  committed
  9b7ff37
- Validate Extern Callback Callee Types
  e345ee
  committed
  dd40d86
- Refine Extern Callback Model IR
  e345ee
  committed
  0698dd1
Commits on Jul 8, 2026
- Address extern callback review comments
  e345ee
  committed
  f1fefb9
Commits on Jul 9, 2026
- Format call graph builder overload
  e345ee
  committed
  2a486f1