Repository navigation

Add compilation mechanism from vmlinux - #28

Merged

varun-r-mallya merged 93 commits into

masterfrom

vmlinux-working

Oct 13, 2025

Merged

Add compilation mechanism from vmlinux#28
varun-r-mallya merged 93 commits into
masterfrom
vmlinux-working

Commits on Oct 8, 2025
- add xdp struct to args
  varun-r-mallya
  committed
  8d07a4c
- update helpers and change examples.
  varun-r-mallya
  committed
  d84ce0c
- rollback example
  varun-r-mallya
  committed
  b95fbd0
Commits on Oct 10, 2025
- Add TODO for fixing struct_kioctx issue
  varun-r-mallya
  committed
  9d73eb6
- Reduce a condition from handle_cond
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  f46e7cd
- Add _handle_cond to expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  82ff71b
- Eval LHS and RHS in _handle_compare
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  ff78140
- Add Boolean return support
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  49c59b3
- Move conditional logic to eval_expr, add _conver_to_bool, add passing bool test
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  745f592
- Add const_int test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  2979cee
- Add const_binop test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  9c7560e
- Add var test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  97e74d0
- Add var_binop test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  6f65903
- Add map test to conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  eb0a7a9
- Add failing tests struct and not for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  7720437
- Add support for unary op 'not' in eval_expr, move not test to passing
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  5451ba6
- Add var_comp test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  6cc29c4
- Add failing test map_comp for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  b8b937b
- Add 'and' and 'or' BoolOps as future deliverables
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  4ea7b22
- Fix struct_access in eval_expr, move struct_access conditional test to passing
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  2e677c2
- Add failing struct_ptr test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  c81aad7
- Add type_mismatch failing test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  34a267e
- Add _normalize_types to handle mismatched ints, move type_mismatch test to passing
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  e180a89
- Add _get_base_type to expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  1e29460
- Move _get_base_type to _get_base_type_and_depth
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  7081e93
- Add _deref_to_depth in expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  46f5eca
- Add null checks for pointer derefs to avoid map_value_or_null verifier errors
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  0794317
- Move map_comp test to passing
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  0d3a574
- Add helper_cond failing test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  f3c80f9
- Add explanation notes to failing conditionals tests
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  cfc246c
- Add support for is and is not keywords
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  00d1c58
- Add BoolOp handling stub in eval_expr
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  86378d6
- Add handle_and and handle_or handling stub in eval_expr
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  3b08c2b
- Add _handle_and_op in expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  3cb73ff
- Add _handle_or_or in expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  a351b0f
- Add passing or.py test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  140d9e6
- Add passing and.py test for conditionals
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  019a83c
- cleanup handle_cond in functions_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  48923d0
- Rework dir structure for expr
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  6f9a730
- Fix expr imports
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  aae7aa9
- Fix type_deducer import in expr
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  b43c252
- Seperate type_normalization from expr_pass
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  eff0f66
- Move convert_to_bool to type_normalization
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  fa720f8
- Move handle_comparator to type_normalization
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  bc7b5c9
- Fix expr imports
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  e4ddec3
- Remove completed short term goal from TODO.md
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  1ba27ac
- Add compile to tests/failing_tests/conditionals/helper_cond.py
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  435bf27
- add global failing test
  varun-r-mallya
  committed
  7210366
- add global support with broken generation function
  varun-r-mallya
  committed
  e7c4bdb
- fix broken IR generation logic for globals
  varun-r-mallya
  committed
  4846241
- fix broken IR generation logic for globals
  varun-r-mallya
  committed
  40ae3d8
- format chore
  varun-r-mallya
  committed
  130d8a9
- update globals test and todos.
  varun-r-mallya
  committed
  5f2df57
- changer order of passes
  varun-r-mallya
  committed
  384fc9d
- add failing test
  varun-r-mallya
  committed
  a049796
- add global symbol table populate function
  varun-r-mallya
  committed
  ed196ca
- add global symbol table populate function
  varun-r-mallya
  committed
  200d293
- format chore
  varun-r-mallya
  committed
  9683e37
- Add failing oneline IfExpr conditional test
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  8aa9cf7
- Update TODO.md
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  e6c05ab
- add patch for Kernel 6.14 BTF
  varun-r-mallya
  committed
  9f8e240
- remove todos and move to projects on github.
  varun-r-mallya
  committed
  28b7b16
- Refactor hist() calls to use dot notation
  
  r41k0u
  authored and
  varun-r-mallya
  committed
  ec59dad
- initialise tbaa generation and vmlinux recursive importer modules
  varun-r-mallya
  committed
  7fb3ecf
- add vmlinux processor to codegen pipeline
  varun-r-mallya
  committed
  3ec3ab3
- Merge branch 'master' into vmlinux-working
  varun-r-mallya
  authored
  e4575a6
Commits on Oct 11, 2025
- add import parser
  varun-r-mallya
  committed
  68e9693
- separate vmlinux class handler
  varun-r-mallya
  committed
  2483ef2
- add symbol resolution to import detection
  varun-r-mallya
  committed
  7940d02
- add dependency_node format and also cache results of symbol loader.
  varun-r-mallya
  committed
  f227fe9
- static type checks
  varun-r-mallya
  committed
  2ae3aad
- add dependency handler class
  varun-r-mallya
  committed
  eb636ef
- init IR generation file and clarify purpose
  varun-r-mallya
  committed
  f190a33
- fix structure for IR generation separation.
  varun-r-mallya
  committed
  d24d59c
- extract fields from the class
  varun-r-mallya
  committed
  2cf7b28
- add recursive addition algorithm with mixing of ast node type and type node which is not right.
  varun-r-mallya
  committed
  168e262
- handle non-complex types along with recursion
  varun-r-mallya
  committed
  1e3d775
- add error message
  varun-r-mallya
  committed
  06773c8
- add ctype subclass identifier
  varun-r-mallya
  committed
  7c55984
- format chore
  varun-r-mallya
  committed
  abbf177
- format chore
  varun-r-mallya
  committed
  75d3ad4
- add extra fields to Field datatype
  varun-r-mallya
  committed
  3343bed
- add support for single depth pointer resolution
  varun-r-mallya
  committed
  f884410
- one recursion issue solved
  varun-r-mallya
  committed
  8743ea1
- try to separate out ast node from vmlinux type
  varun-r-mallya
  committed
  8774277
Commits on Oct 12, 2025
- recursive parsing fix without ctypes in recursed type
  varun-r-mallya
  committed
  80396c7
- make semantics work other than field diffs
  varun-r-mallya
  committed
  7851827
- add bitfield size resolution
  varun-r-mallya
  committed
  9b8462f
- format chore
  varun-r-mallya
  committed
  93634a4
- add full confidence import parsing
  varun-r-mallya
  committed
  e574156
Commits on Oct 13, 2025
- complete dependency tree readiness resolution
  varun-r-mallya
  committed
  0b4c626
- format chore
  varun-r-mallya
  committed
  20ec307
- fix static typing errors
  varun-r-mallya
  committed
  d4f5a9c

Commits

Commits on Oct 8, 2025

Commits on Oct 10, 2025

Commits on Oct 11, 2025

Commits on Oct 12, 2025

Commits on Oct 13, 2025