The seL4 microkernel
This report presents the forensic synthetic code analysis of seL4/seL4, a C project with 5,626 GitHub stars. SynthScan v2.0 examined 118,279 lines of code across 736 source files, recording 416 pattern matches distributed across 14 syntactic categories. The overall adjusted score of 5.0 places this repository in the Low AI signal band.
The scanner applied 160+ deterministic lexical heuristics, multi-line block detectors, abstract syntax tree depth profilers, and a cross-file Jaccard similarity matrix to construct a statistically normalised synthetic code estimate. All matches are individually weighted by severity coefficient and contextual multiplier before summation, and the resulting headline score is temporally discounted to account for the repository's development history relative to the commercial emergence of large language model coding tooling (November 2022 onward).
Longitudinal tracking requires multiple scan runs. Once this repository is re-scanned after new commits land, this chart will visualise how the synthetic code signal evolves over time — enabling you to detect whether AI authorship is growing, stabilising, or being actively corrected by human engineers.
Classifies detected patterns by their diagnostic confidence and structural impact. CRITICAL patterns (coefficient 10) represent definitive synthetic signatures — hallucinated imports, explicit LLM attribution metadata — virtually never produced by human authors. HIGH (5) indicates strong structural tells such as cross-file repetition or cross-linguistic idioms. MEDIUM (2) covers recognisable conversational padding and AI-specific vocabulary. LOW (1) captures subtle indicators like tautological comments and generic boilerplate that require density to carry independent signal.
This horizontal bar chart decomposes the repository's raw synthetic code score by top-level directory, allowing you to pinpoint precisely which modules or components carry the highest AI authorship density. Directories with disproportionately high scores relative to their size warrant targeted manual review: concentrated AI signatures often trace back to mass-generated configuration layers, auto-ported test suites, LLM-scaffolded boilerplate classes, or entire subsystems authored under heavy copilot assistance. Use this view to prioritise your human code-review effort.
The scanner identified 416 distinct pattern matches across 14 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a statistically significant AI authorship indicator. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the diagnostic confidence level (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — comment-context matches receive a ×1.5 weight because LLMs systematically over-annotate. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier as dense clusters constitute far stronger evidence of synthetic authorship than isolated hits.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | CMakeLists.txt | 181 | -ffreestanding # implies "-fno-builtin". Execution will not start at main(). | COMMENT |
| LOW | CMakeLists.txt | 201 | APPEND | COMMENT |
| LOW | CMakeLists.txt | 441 | add_custom_target(xml_headers_target DEPENDS ${xml_headers}) | COMMENT |
| LOW | CMakeLists.txt | 581 | target_include_directories(kernel.elf PRIVATE "${CMAKE_CURRENT_BINARY_DIR}/generated") | COMMENT |
| LOW | tools/lex.py | 1 | # SPDX-License-Identifier: BSD-3-Clause | COMMENT |
| LOW | tools/lex.py | 21 | # specific prior written permission. | COMMENT |
| LOW | tools/lex.py | 101 | def __call__(self, *args, **kwargs): | COMMENT |
| LOW | tools/lex.py | 421 | COMMENT | |
| LOW | tools/bitfield_gen.py | 1 | #!/usr/bin/env python3 | COMMENT |
| LOW | tools/bitfield_gen.py | 2321 | "Calculate an encoding for variable width tagnames" | COMMENT |
| LOW | tools/bitfield_gen.py | 2341 | # 8-bit class: classmask = 0b10001100 | COMMENT |
| LOW | tools/changed.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | tools/reciprocal.py | 1 | #!/usr/bin/env python3 | COMMENT |
| LOW | tools/hardware/__init__.py | 1 | # | COMMENT |
| LOW | tools/hardware/outputs/__init__.py | 1 | # | COMMENT |
| LOW | include/util.h | 61 | * uint64_t type definitions nor including the header with the uint64_t | COMMENT |
| LOW | include/util.h | 81 | #define VISIBLE __attribute__((externally_visible)) | COMMENT |
| LOW | include/util.h | 241 | \<acute>ret__long :== PROC ctzl(\<acute>x) | COMMENT |
| LOW | include/object.h | 1 | /* | COMMENT |
| LOW | include/assert.h | 61 | */ | COMMENT |
| LOW | include/stdint.h | 21 | #define UINT64_MAX (0xFFFFFFFFFFFFFFFF) | COMMENT |
| LOW | include/benchmark/benchmark_track.h | 1 | /* | COMMENT |
| LOW | include/benchmark/benchmark.h | 21 | #ifdef CONFIG_KERNEL_LOG_BUFFER | COMMENT |
| LOW | include/drivers/irq/riscv_plic0.h | 41 | #define PLIC_HART_ID (CONFIG_FIRST_HART_ID) | COMMENT |
| LOW | include/drivers/irq/am335x.h | 21 | #define CMPER_TIMER4_CLKCTRL 0x88 | COMMENT |
| LOW | include/drivers/timer/mct.h | 21 | #define GTCON_COMP3_AUTOINC (1U << 7) | COMMENT |
| LOW | include/drivers/timer/mct.h | 41 | #define GWSTAT_COMP2L (1U << 8) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 21 | COMMENT | |
| LOW | include/drivers/smmu/smmuv2.h | 41 | #define SMMU_sCR0 0x000 | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 61 | #define SMMU_TLBIALLNSNH 0x068 | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 101 | #define SMMU_CBn_ACTLR 0x004 | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 121 | #define SMMU_CBn_FSYNR1 0x06c | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 141 | #define CR0_SMCFCFG BIT(21) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 161 | #define IDR0_SES BIT(31) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 181 | #define PTFS_AARCH32L_ONLY 0x1 | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 201 | #define IDR2_UBS (0xf << 8) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 221 | #define IDR2_IAS_48 0x5 | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 241 | #define S2CR_TRANSIENTCFG_SET(v) ((v) << 28) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 261 | COMMENT | |
| LOW | include/drivers/smmu/smmuv2.h | 321 | #define CBARn_MemAttr_SET(v) ((v) << 12) | COMMENT |
| LOW | include/drivers/smmu/smmuv2.h | 341 | COMMENT | |
| LOW | include/drivers/smmu/smmuv2.h | 361 | #define CBn_TCR_SL0_4KB_L0 2 | COMMENT |
| LOW | include/plat/pc99/plat/machine/interrupt.h | 1 | /* | COMMENT |
| LOW | include/plat/tk1/plat/machine/smmu.h | 81 | } tk1_mc_regs_t; | COMMENT |
| LOW | include/plat/tk1/plat/machine/smmu.h | 101 | #define SMMU_VI_ASID 14 | COMMENT |
| LOW | include/object/structures.h | 61 | #define CNODE_REF(p) (CTE_REF(p)>>CNODE_MIN_BITS) | COMMENT |
| LOW | include/object/structures.h | 81 | COMMENT | |
| LOW | include/arch/x86/arch/machine.h | 1 | /* | COMMENT |
| LOW | include/arch/x86/arch/machine.h | 21 | #define IA32_SYSENTER_ESP_MSR 0x175 | COMMENT |
| LOW | include/arch/x86/arch/machine.h | 41 | #define IA32_VMX_MISC_MSR 0x485 | COMMENT |
| LOW | include/arch/x86/arch/machine.h | 61 | #define BROADWELL_1_MODEL_ID 0x4D | COMMENT |
| LOW | include/arch/x86/arch/machine.h | 81 | COMMENT | |
| LOW | include/arch/x86/arch/32/mode/object/structures.h | 1 | /* | COMMENT |
| LOW | include/arch/x86/arch/32/mode/object/structures.h | 21 | COMMENT | |
| LOW | include/arch/x86/arch/object/vcpu.h | 21 | #define VMX_GUEST_FS_SELECTOR 0x00000808 | COMMENT |
| LOW | include/arch/x86/arch/object/vcpu.h | 41 | #define VMX_CONTROL_TSC_OFFSET 0x00002010 | COMMENT |
| LOW | include/arch/x86/arch/object/vcpu.h | 61 | #define VMX_HOST_PERF_GLOBAL_CTRL 0x00002C04 | COMMENT |
| LOW | include/arch/x86/arch/object/vcpu.h | 81 | COMMENT | |
| LOW | include/arch/x86/arch/object/vcpu.h | 101 | #define VMX_GUEST_ES_ACCESS_RIGHTS 0x00004814 | COMMENT |
| LOW | include/arch/x86/arch/object/vcpu.h | 121 | #define VMX_CONTROL_CR3_TARGET0 0x00006008 | COMMENT |
| 191 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM⚡ | CMakeLists.txt | 164 | #----------------------------------- | COMMENT |
| MEDIUM⚡ | CMakeLists.txt | 166 | #----------------------------------- | COMMENT |
| MEDIUM⚡ | CMakeLists.txt | 176 | #----------------------------------- | COMMENT |
| MEDIUM⚡ | CMakeLists.txt | 178 | #----------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 256 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 258 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 268 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 270 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 280 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 282 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 287 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 289 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 293 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 295 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 299 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 301 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 305 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 311 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM⚡ | tools/lex.py | 424 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 429 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 431 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 437 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 530 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 537 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 558 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM⚡ | tools/lex.py | 563 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 3 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 34 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 104 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 116 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 173 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM | tools/lex.py | 175 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM | tools/lex.py | 218 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM | tools/lex.py | 220 | # ------------------------------------------------------------ | COMMENT |
| MEDIUM | tools/lex.py | 455 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 460 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 472 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 477 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 489 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 495 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 850 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 856 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 891 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 895 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 1041 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 1045 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 1075 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/lex.py | 1080 | # ----------------------------------------------------------------------------- | COMMENT |
| MEDIUM | tools/invocation_header_gen.py | 9 | # ============================ | COMMENT |
| MEDIUM | tools/syscall_header_gen.py | 9 | # ============================== | COMMENT |
| MEDIUM | libsel4/tools/syscall_stub_gen.py | 10 | # =============================== | COMMENT |
| MEDIUM | libsel4/tools/invocation_header_gen.py | 9 | # ============================ | COMMENT |
| MEDIUM | libsel4/tools/syscall_header_gen.py | 9 | # ============================== | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | tools/lex.py | 440 | def get_caller_module_dict(levels): | CODE |
| LOW⚡ | tools/lex.py | 522 | except Exception: | CODE |
| MEDIUM | tools/invocation_header_gen.py | 146 | print("Error: invalid xml file", file=sys.stderr) | STRING |
| MEDIUM | tools/invocation_header_gen.py | 160 | print("Error: Implicit duplicate id '%s' in xml file" % label, file=sys.stderr) | STRING |
| MEDIUM | tools/syscall_header_gen.py | 126 | print("Error: must provide either kernel_header or libsel4_header", | CODE |
| MEDIUM⚡ | tools/syscall_header_gen.py | 155 | print("Error: invalid xml file.", file=sys.stderr) | CODE |
| MEDIUM⚡ | tools/syscall_header_gen.py | 161 | print("Error: malformed xml. Only one api element allowed", | CODE |
| MEDIUM⚡ | tools/syscall_header_gen.py | 167 | print("Error: api element only supports 1 config element", | CODE |
| MEDIUM⚡ | tools/syscall_header_gen.py | 172 | print("Error: api element config only supports an empty name", | CODE |
| MEDIUM | tools/invocation_json_gen.py | 50 | print('Error: invalid XML file provided', file=sys.stderr) | CODE |
| MEDIUM | tools/invocation_json_gen.py | 56 | print('Error: invalid JSON file provided', file=sys.stderr) | CODE |
| MEDIUM | libsel4/tools/invocation_header_gen.py | 146 | print("Error: invalid xml file", file=sys.stderr) | STRING |
| MEDIUM | libsel4/tools/invocation_header_gen.py | 160 | print("Error: Implicit duplicate id '%s' in xml file" % label, file=sys.stderr) | STRING |
| MEDIUM | libsel4/tools/syscall_header_gen.py | 126 | print("Error: must provide either kernel_header or libsel4_header", | CODE |
| MEDIUM⚡ | libsel4/tools/syscall_header_gen.py | 155 | print("Error: invalid xml file.", file=sys.stderr) | CODE |
| MEDIUM⚡ | libsel4/tools/syscall_header_gen.py | 161 | print("Error: malformed xml. Only one api element allowed", | CODE |
| MEDIUM⚡ | libsel4/tools/syscall_header_gen.py | 167 | print("Error: api element only supports 1 config element", | CODE |
| MEDIUM⚡ | libsel4/tools/syscall_header_gen.py | 172 | print("Error: api element config only supports an empty name", | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/lex.py | 498 | CODE | |
| LOW | tools/lex.py | 898 | CODE | |
| LOW | tools/lex.py | 146 | CODE | |
| LOW | tools/lex.py | 312 | CODE | |
| LOW | tools/lex.py | 642 | CODE | |
| LOW | tools/lex.py | 675 | CODE | |
| LOW | tools/lex.py | 748 | CODE | |
| LOW | tools/config_gen.py | 64 | CODE | |
| LOW | tools/umm.py | 14 | CODE | |
| LOW | tools/umm.py | 15 | CODE | |
| LOW | tools/condition.py | 51 | CODE | |
| LOW | tools/bitfield_gen.py | 1375 | CODE | |
| LOW | tools/bitfield_gen.py | 1414 | CODE | |
| LOW | tools/bitfield_gen.py | 1514 | CODE | |
| LOW | tools/bitfield_gen.py | 1740 | CODE | |
| LOW | tools/bitfield_gen.py | 1951 | CODE | |
| LOW | tools/bitfield_gen.py | 2515 | CODE | |
| LOW | tools/hardware/irq.py | 193 | CODE | |
| LOW | tools/hardware/utils/memory.py | 28 | CODE | |
| LOW | tools/hardware/utils/rule.py | 183 | CODE | |
| LOW | tools/hardware/outputs/yaml.py | 43 | CODE | |
| LOW | tools/hardware/outputs/json.py | 38 | CODE | |
| LOW | manual/tools/parse_doxygen_xml.py | 393 | CODE | |
| LOW | manual/tools/gen_invocations.py | 166 | CODE | |
| LOW | libsel4/tools/syscall_stub_gen.py | 602 | CODE | |
| LOW | libsel4/tools/syscall_stub_gen.py | 844 | CODE | |
| LOW | libsel4/tools/condition.py | 51 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 1375 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 1414 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 1514 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 1740 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 1951 | CODE | |
| LOW | libsel4/tools/bitfield_gen.py | 2515 | CODE | |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 80 | CODE | |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 258 | CODE | |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 435 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW⚡ | tools/bitfield_gen.py | 198 | def p_opt_visible_order_spec_empty(t): | CODE |
| LOW⚡ | tools/bitfield_gen.py | 208 | def p_visible_order_spec_empty(t): | CODE |
| LOW⚡ | tools/bitfield_gen.py | 213 | def p_visible_order_spec_single(t): | CODE |
| LOW | tools/bitfield_gen.py | 789 | def ptr_empty_union_new_template(ptrname): | CODE |
| LOW | tools/syscall_header_gen.py | 189 | def convert_to_assembler_format(s): | CODE |
| LOW | tools/hardware/config.py | 26 | def get_smallest_kernel_object_alignment(self) -> int: | CODE |
| LOW | tools/hardware/outputs/yaml.py | 18 | def make_yaml_list_of_regions(regions) -> List: | CODE |
| LOW | tools/hardware/outputs/json.py | 18 | def make_json_list_of_regions(regions) -> List: | CODE |
| LOW | manual/tools/parse_doxygen_xml.py | 274 | def generate_empty_param_string(self): | CODE |
| LOW | manual/tools/parse_doxygen_xml.py | 280 | def generate_empty_error_string(self): | CODE |
| LOW | manual/tools/parse_doxygen_xml.py | 350 | def generate_empty_param_string(self): | CODE |
| LOW | manual/tools/parse_doxygen_xml.py | 461 | def get_error_num_description(self): | STRING |
| LOW | manual/tools/parse_doxygen_xml.py | 591 | def generate_general_syscall_doc(generator, input_file_name, level, ref_dict): | STRING |
| LOW | libsel4/tools/syscall_stub_gen.py | 443 | def generate_marshal_expressions(params, num_mrs, structs, wordsize): | CODE |
| LOW | libsel4/tools/syscall_stub_gen.py | 509 | def generate_unmarshal_expressions(params, wordsize): | CODE |
| LOW | libsel4/tools/syscall_stub_gen.py | 554 | def is_result_struct_required(output_params): | CODE |
| LOW | libsel4/tools/syscall_stub_gen.py | 806 | def get_xml_element_content_with_xmlonly(element): | CODE |
| LOW⚡ | libsel4/tools/bitfield_gen.py | 198 | def p_opt_visible_order_spec_empty(t): | CODE |
| LOW⚡ | libsel4/tools/bitfield_gen.py | 208 | def p_visible_order_spec_empty(t): | CODE |
| LOW⚡ | libsel4/tools/bitfield_gen.py | 213 | def p_visible_order_spec_single(t): | CODE |
| LOW | libsel4/tools/bitfield_gen.py | 789 | def ptr_empty_union_new_template(ptrname): | CODE |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 52 | def rust_render_parameter_name(param_type, name, mutable_ref=False): | CODE |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 69 | def rust_double_word_expression(param_type, var_name, word_num, word_size): | CODE |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 121 | def generate_marshal_expressions(params, num_mrs, structs, wordsize): | CODE |
| LOW | libsel4/tools/syscall_stub_gen_rs.py | 188 | def generate_unmarshal_expressions(params, wordsize): | CODE |
| LOW | libsel4/tools/syscall_header_gen.py | 189 | def convert_to_assembler_format(s): | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | tools/bitfield_gen.py | 721 | "\\<lbrakk> w && m1 = v1; m1 && m2 = m2; v1 && m2 = v2 \\<rbrakk> | CODE |
| HIGH | tools/bitfield_gen.py | 722 | \\<Longrightarrow> w && m2 = v2" | CODE |
| HIGH | manual/tools/gen_invocations.py | 98 | return values.get(condition[start:end], undefined) | CODE |
| HIGH | libsel4/tools/bitfield_gen.py | 721 | "\\<lbrakk> w && m1 = v1; m1 && m2 = m2; v1 && m2 = v2 \\<rbrakk> | CODE |
| HIGH | libsel4/tools/bitfield_gen.py | 722 | \\<Longrightarrow> w && m2 = v2" | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | tools/bitfield_gen.py | 2339 | # In this example we have: | COMMENT |
| HIGH | libsel4/tools/bitfield_gen.py | 2339 | # In this example we have: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | src/arch/arm/kernel/boot.c | 112 | /* avail_p_regs comes from the auto-generated code */ | COMMENT |
| HIGH | src/arch/riscv/kernel/boot.c | 90 | /* avail_p_regs comes from the auto-generated code */ | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/hardware_gen.py | 13 | CODE | |
| LOW | tools/reciprocal.py | 16 | CODE | |
| LOW | tools/reciprocal.py | 16 | CODE | |
| LOW | tools/hardware/config.py | 6 | CODE | |
| LOW | tools/hardware/config.py | 6 | CODE | |
| LOW | tools/hardware/config.py | 7 | CODE | |
| LOW | tools/hardware/utils/rule.py | 7 | CODE | |
| LOW | tools/hardware/outputs/elfloader.py | 11 | CODE | |
| LOW | tools/hardware/outputs/elfloader.py | 12 | CODE | |
| LOW | tools/hardware/outputs/elfloader.py | 18 | CODE | |
| LOW | libsel4/tools/__init__.py | 32 | CODE | |
| LOW | libsel4/tools/__init__.py | 33 | CODE | |
| LOW | libsel4/tools/__init__.py | 34 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM⚡ | tools/lex.py | 561 | # This class represents information needed to build a lexer as extracted from a | COMMENT |
| MEDIUM | tools/lex.py | 331 | # Create a token for return | COMMENT |
| MEDIUM | libsel4/tools/syscall_stub_gen.py | 849 | # Create a dictionary of type name to type. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/umm.py | 15 | def helper(tps): | CODE |
| LOW | tools/condition.py | 26 | def helper(expr): | CODE |
| LOW | libsel4/tools/condition.py | 26 | def helper(expr): | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/hardware/irq.py | 65 | # so we can't just call node.get_regions() | COMMENT |
| LOW | tools/hardware/irq.py | 202 | # otherwise, just return a dummy irq controller | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | src/arch/arm/64/model/statedata.c | 59 | * to be sufficient to contain the mapping you want. And don't forget to update | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/lex.py | 898 | CODE |