The seL4 microkernel
This report summarizes scanner evidence for seL4/seL4, a C project with 5,796 GitHub stars. SynthScan examined 119,021 lines of code across 735 source files, recording 418 pattern matches distributed across 15 syntactic categories. The legacy adjusted pattern signal is 5.0 (Moderate pattern signal); it is not an authorship estimate.
Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.
Use each vector to guide manual verification of the underlying findings.
Can maintainers explain intent, assumptions, and trade-offs? 325 finding(s).
Are imports declared and package/API names verified? 20 finding(s).
Are wrappers, guards, and repeated structures necessary? 99 finding(s).
Which changes need focused human review? 418 finding(s).
This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.
Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.
This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.
The scanner identified 418 distinct pattern matches across 15 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. 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 configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.
| 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 |
| 192 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 | 30 | CODE | |
| LOW | tools/umm.py | 31 | CODE | |
| LOW | tools/condition.py | 68 | 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 | 27 | 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 | 68 | 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/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 |
|---|---|---|---|---|
| LOW | tools/hardware_gen.py | 13 | CODE | |
| LOW | tools/umm.py | 8 | CODE | |
| LOW | tools/condition.py | 8 | CODE | |
| LOW | tools/reciprocal.py | 21 | 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 | |
| LOW | libsel4/tools/condition.py | 8 | 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 |
|---|---|---|---|---|
| HIGH | tools/lex.py | 938 | except ImportError: | CODE |
| HIGH | manual/tools/gen_env.py | 43 | except: | 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/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/umm.py | 31 | def helper(tps: list[str]) -> tuple[UmmType, list[str]]: | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tools/lex.py | 898 | CODE |