Commit Graph

  • 2ae3aade60 static type checks varun-r-mallya 2025-10-11 17:11:01 +05:30
  • f227fe9310 add dependency_node format and also cache results of symbol loader. varun-r-mallya 2025-10-11 17:09:52 +05:30
  • 7940d02bc7 add symbol resolution to import detection varun-r-mallya 2025-10-11 16:44:05 +05:30
  • 2483ef2840 separate vmlinux class handler varun-r-mallya 2025-10-11 04:19:26 +05:30
  • 68e9693f9a add import parser varun-r-mallya 2025-10-11 01:01:31 +05:30
  • c9bbe1ffd8 Call eval_expr properly within get_operand_value Pragyansh Chaturvedi 2025-10-11 03:21:09 +05:30
  • 91a3fe140d Remove unnecessary return artifacts from get_operand_value Pragyansh Chaturvedi 2025-10-11 03:06:24 +05:30
  • c2c17741e5 Remove store_through_chain Pragyansh Chaturvedi 2025-10-11 03:04:26 +05:30
  • cac88d1560 Allow different int widths in binops Pragyansh Chaturvedi 2025-10-11 02:44:08 +05:30
  • 317575644f Interpret bools as ints in binops Pragyansh Chaturvedi 2025-10-11 00:18:11 +05:30
  • a756f5e4b7 Add passing helper test for assignment Pragyansh Chaturvedi 2025-10-10 23:55:12 +05:30
  • e4575a6b1e Merge branch 'master' into vmlinux-working varunrmallya 2025-10-10 22:55:51 +05:30
  • 3ec3ab30fe add vmlinux processor to codegen pipeline varun-r-mallya 2025-10-10 22:53:05 +05:30
  • 7fb3ecff48 initialise tbaa generation and vmlinux recursive importer modules varun-r-mallya 2025-10-10 18:23:22 +05:30
  • ec59dad025 Refactor hist() calls to use dot notation Pragyansh Chaturvedi 2025-10-10 20:45:07 +05:30
  • 28b7b1620c remove todos and move to projects on github. varun-r-mallya 2025-10-08 22:27:51 +05:30
  • 9f8e240a38 add patch for Kernel 6.14 BTF varun-r-mallya 2025-10-08 21:47:02 +05:30
  • e6c05ab494 Update TODO.md Pragyansh Chaturvedi 2025-10-08 21:40:14 +05:30
  • 8aa9cf7119 Add failing oneline IfExpr conditional test Pragyansh Chaturvedi 2025-10-08 21:36:08 +05:30
  • 9683e3799f format chore varun-r-mallya 2025-10-08 14:31:37 +05:30
  • 200d293750 add global symbol table populate function varun-r-mallya 2025-10-05 14:02:46 +05:30
  • ed196caebf add global symbol table populate function varun-r-mallya 2025-10-05 14:02:46 +05:30
  • a049796b81 add failing test varun-r-mallya 2025-10-05 00:55:22 +05:30
  • 384fc9dd40 changer order of passes varun-r-mallya 2025-10-04 08:17:16 +05:30
  • 5f2df57e64 update globals test and todos. varun-r-mallya 2025-10-04 06:36:26 +05:30
  • 130d8a9edc format chore varun-r-mallya 2025-10-04 06:33:09 +05:30
  • 40ae3d825a fix broken IR generation logic for globals varun-r-mallya 2025-10-04 06:32:25 +05:30
  • 484624104e fix broken IR generation logic for globals varun-r-mallya 2025-10-03 22:55:40 +05:30
  • e7c4bdb150 add global support with broken generation function varun-r-mallya 2025-10-03 22:20:04 +05:30
  • 7210366e7d add global failing test varun-r-mallya 2025-10-03 21:25:58 +05:30
  • 435bf27176 Add compile to tests/failing_tests/conditionals/helper_cond.py Pragyansh Chaturvedi 2025-10-08 07:26:41 +05:30
  • 1ba27ac7cf Remove completed short term goal from TODO.md Pragyansh Chaturvedi 2025-10-08 07:25:14 +05:30
  • e4ddec3a02 Fix expr imports Pragyansh Chaturvedi 2025-10-08 07:24:14 +05:30
  • bc7b5c97d1 Move handle_comparator to type_normalization Pragyansh Chaturvedi 2025-10-08 07:20:04 +05:30
  • fa720f8e6b Move convert_to_bool to type_normalization Pragyansh Chaturvedi 2025-10-08 07:14:42 +05:30
  • eff0f66d95 Seperate type_normalization from expr_pass Pragyansh Chaturvedi 2025-10-08 06:59:32 +05:30
  • b43c252224 Fix type_deducer import in expr Pragyansh Chaturvedi 2025-10-08 06:50:53 +05:30
  • aae7aa981d Fix expr imports Pragyansh Chaturvedi 2025-10-08 06:49:34 +05:30
  • 6f9a7301af Rework dir structure for expr Pragyansh Chaturvedi 2025-10-08 06:45:52 +05:30
  • 48923d03d4 cleanup handle_cond in functions_pass Pragyansh Chaturvedi 2025-10-08 06:42:34 +05:30
  • 019a83cf11 Add passing and.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:28:03 +05:30
  • 140d9e6e35 Add passing or.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:27:18 +05:30
  • a351b0f1b5 Add _handle_or_or in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:57 +05:30
  • 3cb73ff0c3 Add _handle_and_op in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:13 +05:30
  • 3b08c2bede Add handle_and and handle_or handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:14:32 +05:30
  • 86378d6cc4 Add BoolOp handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:11:59 +05:30
  • 00d1c583af Add support for is and is not keywords Pragyansh Chaturvedi 2025-10-08 06:04:29 +05:30
  • cfc246c80d Add explanation notes to failing conditionals tests Pragyansh Chaturvedi 2025-10-08 05:57:17 +05:30
  • f3c80f9e5f Add helper_cond failing test for conditionals Pragyansh Chaturvedi 2025-10-08 05:54:49 +05:30
  • 0d3a5748dd Move map_comp test to passing Pragyansh Chaturvedi 2025-10-08 05:53:52 +05:30
  • 079431754c Add null checks for pointer derefs to avoid map_value_or_null verifier errors Pragyansh Chaturvedi 2025-10-08 05:53:12 +05:30
  • 46f5eca33d Add _deref_to_depth in expr_pass Pragyansh Chaturvedi 2025-10-08 03:12:17 +05:30
  • 7081e939fb Move _get_base_type to _get_base_type_and_depth Pragyansh Chaturvedi 2025-10-08 03:02:31 +05:30
  • 1e29460d6f Add _get_base_type to expr_pass Pragyansh Chaturvedi 2025-10-08 03:00:52 +05:30
  • e180a89644 Add _normalize_types to handle mismatched ints, move type_mismatch test to passing Pragyansh Chaturvedi 2025-10-08 02:22:41 +05:30
  • 34a267e982 Add type_mismatch failing test for conditionals Pragyansh Chaturvedi 2025-10-07 14:02:09 +05:30
  • c81aad7c67 Add failing struct_ptr test for conditionals Pragyansh Chaturvedi 2025-10-07 13:42:58 +05:30
  • 2e677c2c7b Fix struct_access in eval_expr, move struct_access conditional test to passing Pragyansh Chaturvedi 2025-10-07 13:35:31 +05:30
  • 4ea7b22b44 Add 'and' and 'or' BoolOps as future deliverables Pragyansh Chaturvedi 2025-10-07 05:27:31 +05:30
  • b8b937bfca Add failing test map_comp for conditionals Pragyansh Chaturvedi 2025-10-07 05:20:43 +05:30
  • 6cc29c4fa1 Add var_comp test for conditionals Pragyansh Chaturvedi 2025-10-07 05:02:26 +05:30
  • 5451ba646d Add support for unary op 'not' in eval_expr, move not test to passing Pragyansh Chaturvedi 2025-10-07 04:49:45 +05:30
  • 7720437ca5 Add failing tests struct and not for conditionals Pragyansh Chaturvedi 2025-10-07 04:17:26 +05:30
  • eb0a7a917d Add map test to conditionals Pragyansh Chaturvedi 2025-10-07 04:06:16 +05:30
  • 6f65903552 Add var_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:43:36 +05:30
  • 97e74d09be Add var test for conditionals Pragyansh Chaturvedi 2025-10-07 03:37:13 +05:30
  • 9c7560ed2e Add const_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:24:11 +05:30
  • 2979ceedcf Add const_int test for conditionals Pragyansh Chaturvedi 2025-10-07 03:15:34 +05:30
  • 745f59278f Move conditional logic to eval_expr, add _conver_to_bool, add passing bool test Pragyansh Chaturvedi 2025-10-07 03:11:23 +05:30
  • 49c59b32ca Add Boolean return support Pragyansh Chaturvedi 2025-10-06 23:04:45 +05:30
  • ff78140a7d Eval LHS and RHS in _handle_compare Pragyansh Chaturvedi 2025-10-06 22:38:43 +05:30
  • 82ff71b753 Add _handle_cond to expr_pass Pragyansh Chaturvedi 2025-10-06 22:33:03 +05:30
  • f46e7cd846 Reduce a condition from handle_cond Pragyansh Chaturvedi 2025-10-06 22:20:54 +05:30
  • 9d73eb67c4 Add TODO for fixing struct_kioctx issue varunrmallya 2025-10-08 05:34:25 +05:30
  • 21ce041353 Refactor hist() calls to use dot notation Pragyansh Chaturvedi 2025-10-10 20:45:07 +05:30
  • 7529820c0b Allow int** pointers to store binops of type int** op int Pragyansh Chaturvedi 2025-10-10 20:36:37 +05:30
  • 9febadffd3 Add pointer handling to helper_utils, finish pointer assignment Pragyansh Chaturvedi 2025-10-10 15:01:15 +05:30
  • 99aacca94b WIP: allow pointer assignments to var Pragyansh Chaturvedi 2025-10-10 13:48:40 +05:30
  • 1d517d4e09 Add double_alloc in alloc_mem Pragyansh Chaturvedi 2025-10-10 12:28:45 +05:30
  • 047f361ea9 Allocate twice for map lookups Pragyansh Chaturvedi 2025-10-10 06:09:46 +05:30
  • 489244a015 Add store_through_chain Pragyansh Chaturvedi 2025-10-10 02:56:11 +05:30
  • 8bab07ed72 Remove recursive_dereferencer Pragyansh Chaturvedi 2025-10-10 00:13:35 +05:30
  • 1253f51ff3 Use deref_to_val instead of recursive_dereferencer in get_operand value Pragyansh Chaturvedi 2025-10-09 23:11:06 +05:30
  • 23afb0bd33 Add deref_to_val to deref into final value and return the chain as well in binops Pragyansh Chaturvedi 2025-10-09 21:47:28 +05:30
  • c596213b2a Add cst_var_binop.py as passing assign test Pragyansh Chaturvedi 2025-10-09 03:42:25 +05:30
  • 054a834464 Add failing assign test retype.py, with explanation Pragyansh Chaturvedi 2025-10-09 03:28:07 +05:30
  • d7bfe86524 Add handle_variable_assignment to assign_pass Pragyansh Chaturvedi 2025-10-09 03:09:10 +05:30
  • 84ed27f222 Add handle_variable_assignment stub and boilerplate in handle_assign Pragyansh Chaturvedi 2025-10-08 22:55:03 +05:30
  • 6008d9841f Change loglevel of multi-assignment warning in handle_assign Pragyansh Chaturvedi 2025-10-08 22:45:09 +05:30
  • 6402cf7be5 remove todos and move to projects on github. varun-r-mallya 2025-10-08 22:27:51 +05:30
  • 9a96e1247b Merge pull request #29 from pythonbpf/smol_pp varunrmallya 2025-10-08 21:47:49 +05:30
  • 989134f4be add patch for Kernel 6.14 BTF varun-r-mallya 2025-10-08 21:47:02 +05:30
  • 120aec08da Update TODO.md Pragyansh Chaturvedi 2025-10-08 21:40:14 +05:30
  • e66ae7cc89 Add failing oneline IfExpr conditional test Pragyansh Chaturvedi 2025-10-08 21:36:08 +05:30
  • b95fbd0ed0 rollback example varun-r-mallya 2025-10-08 14:53:51 +05:30
  • 32dc8e6636 Merge pull request #21 from pythonbpf/globals varunrmallya 2025-10-08 14:48:37 +05:30
  • 8e3942d38c format chore globals varun-r-mallya 2025-10-08 14:31:37 +05:30
  • d84ce0c6fa update helpers and change examples. varun-r-mallya 2025-10-08 13:57:09 +05:30
  • 8d07a4cd05 add xdp struct to args varun-r-mallya 2025-10-08 11:40:12 +05:30
  • 8485460374 Merge pull request #26 from pythonbpf/refactor_conds Pragyansh Chaturvedi 2025-10-08 07:28:08 +05:30