gitextract_4pa0mdxk/ ├── .github/ │ └── workflows/ │ └── ci.yml ├── .gitignore ├── BUILTINS.md ├── LICENSE ├── README.md ├── SPEC.md ├── dune-project ├── examples/ │ ├── basic_match.ks │ ├── break_continue_unbound.ks │ ├── common_kfuncs.kh │ ├── dynptr.ks │ ├── error_handling_demo.ks │ ├── extern_kfunc_demo.ks │ ├── functions.ks │ ├── import/ │ │ ├── network_utils.py │ │ └── simple_utils.ks │ ├── import_demo.ks │ ├── include_demo.ks │ ├── local_global_vars.ks │ ├── map_operations_demo.ks │ ├── maps_demo.ks │ ├── multi_programs.ks │ ├── named_return.ks │ ├── object_allocation.ks │ ├── packet_filter.ks │ ├── packet_matching.ks │ ├── pattern_test.ks │ ├── pointer_simple.ks │ ├── print_demo.ks │ ├── private_kfunc.ks │ ├── probe.kh │ ├── probe_do_exit.ks │ ├── python_demo.py │ ├── rate_limiter.ks │ ├── ringbuf_demo.ks │ ├── ringbuf_on_event_demo.ks │ ├── safety_demo.ks │ ├── sched_ext_ops.kh │ ├── sched_ext_simple.ks │ ├── simple_gfp_test.ks │ ├── simple_program_lifecycle.ks │ ├── string_test.ks │ ├── struct_ops_simple.ks │ ├── symbols.ks │ ├── tail_call.ks │ ├── tc.kh │ ├── tcp_congestion_ops.kh │ ├── test_config.ks │ ├── test_error_handling.ks │ ├── test_exec.ks │ ├── test_functions.ks │ ├── tracepoint.kh │ ├── tracepoint_sched_switch.ks │ ├── type_alias.ks │ ├── type_checking.ks │ ├── types_demo.ks │ ├── userspace_example.ks │ ├── xdp.kh │ └── xdp_kfuncs.kh ├── kernelscript.opam ├── src/ │ ├── ast.ml │ ├── btf_binary_parser.ml │ ├── btf_binary_parser.mli │ ├── btf_parser.ml │ ├── btf_parser.mli │ ├── btf_stubs.c │ ├── codegen_common.ml │ ├── context/ │ │ ├── context_codegen.ml │ │ ├── context_codegen.mli │ │ ├── dune │ │ ├── fprobe_codegen.ml │ │ ├── kprobe_codegen.ml │ │ ├── tc_codegen.ml │ │ ├── tracepoint_codegen.ml │ │ └── xdp_codegen.ml │ ├── dune │ ├── dynptr_bridge.ml │ ├── ebpf_c_codegen.ml │ ├── evaluator.ml │ ├── import_resolver.ml │ ├── include_resolver.ml │ ├── ir.ml │ ├── ir_analysis.ml │ ├── ir_function_system.ml │ ├── ir_generator.ml │ ├── kernel_module_codegen.ml │ ├── kernel_module_codegen.mli │ ├── kernelscript_bridge.ml │ ├── lexer.mll │ ├── loop_analysis.ml │ ├── main.ml │ ├── map_assignment.ml │ ├── map_operations.ml │ ├── maps.ml │ ├── multi_program_analyzer.ml │ ├── multi_program_ir_optimizer.ml │ ├── parse.ml │ ├── parser.mly │ ├── python_bridge.ml │ ├── safety_checker.ml │ ├── stdlib.ml │ ├── struct_ops_registry.ml │ ├── struct_ops_registry.mli │ ├── symbol_table.ml │ ├── tail_call_analyzer.ml │ ├── test_codegen.ml │ ├── type_checker.ml │ └── userspace_codegen.ml └── tests/ ├── dune ├── test_address_of_user_types.ml ├── test_all_examples.sh ├── test_array_init.ml ├── test_array_literals.ml ├── test_ast.ml ├── test_bpf_loop_callbacks.ml ├── test_break_continue.ml ├── test_btf_binary_parser.ml ├── test_comment_positions.ml ├── test_compound_index_assignment.ml ├── test_config.ml ├── test_config_struct_generation.ml ├── test_config_validation.ml ├── test_const_variables.ml ├── test_context_field_types.ml ├── test_definition_order.ml ├── test_detach_api.ml ├── test_dynptr_bridge.ml ├── test_ebpf_c_codegen.ml ├── test_ebpf_string_generation.ml ├── test_enum.ml ├── test_error_handling.ml ├── test_evaluator.ml ├── test_exec.ml ├── test_extern.ml ├── test_for_statements.ml ├── test_function_generation.ml ├── test_function_pointers.ml ├── test_function_scope.ml ├── test_function_validation.ml ├── test_global_var.ml ├── test_global_var_ordering.ml ├── test_iflet.ml ├── test_import_system.ml ├── test_include.ml ├── test_integer_literal.ml ├── test_ir.ml ├── test_ir_analysis.ml ├── test_ir_function_system.ml ├── test_ir_patterns.ml ├── test_kfunc_attribute.ml ├── test_lexer.ml ├── test_map_assignment.ml ├── test_map_flags.ml ├── test_map_integration.ml ├── test_map_operations.ml ├── test_map_syntax.ml ├── test_maps.ml ├── test_match.ml ├── test_named_returns.ml ├── test_nested_if_codegen.ml ├── test_object_allocation.ml ├── test_parser.ml ├── test_pinned_globals.ml ├── test_pointer_syntax.ml ├── test_private_attribute.ml ├── test_probe.ml ├── test_program_ref.ml ├── test_return_path_analysis.ml ├── test_return_value_propagation.ml ├── test_ringbuf.ml ├── test_safety_checker.ml ├── test_stdlib.ml ├── test_string_codegen.ml ├── test_string_literal_bugs.ml ├── test_string_struct_fixes.ml ├── test_string_to_array_unification.ml ├── test_string_type.ml ├── test_struct_field_access.ml ├── test_struct_initialization.ml ├── test_struct_ops.ml ├── test_symbol_table.ml ├── test_tail_call.ml ├── test_tc.ml ├── test_test_attribute.ml ├── test_tracepoint.ml ├── test_truthy_falsy.ml ├── test_type_alias.ml ├── test_type_checker.ml ├── test_userspace.ml ├── test_userspace_for_codegen.ml ├── test_userspace_maps.ml ├── test_userspace_skeleton_header.ml ├── test_userspace_statements.ml ├── test_userspace_struct_flexibility.ml ├── test_utils.ml └── test_void_functions.ml