code wiki / (root) / nx_attack_taxonomy_test.nx

nx_attack_taxonomy_test.nx

buildroot/runtime/nx_attack_taxonomy_test.nx

3767 B80 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_attack_taxonomy_test.nx -- smoke for MITRE taxonomy enums. Asserts: 1. Tactic validity predicate behaves 2. Tactic name lookup returns non-empty 3. MITRE ID lookup returns the published TA0001..TA0043 numerics 4. CWE validity predicate behaves 5. CWE MITRE ID lookup returns the published CWE numbers 6. Severity validity predicate behaves expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_types.nx nx_tier.nx nx_attack_taxonomy.nx nx_attack_taxonomy_test.nx

imports: nx_syscalls.nxnx_runtime.nxnx_types.nxnx_tier.nxnx_attack_taxonomy.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_attack_tactic_is_valid nx_attack_tactic_name _strlen nx_attack_tactic_mitre_id nx_cwe_is_valid nx_cwe_mitre_id nx_attack_sev_is_valid

structs

none

consts

none

functions

21func _strlen(s: *u8) -> nx_int
called by 1: main
32func main() -> nx_int
calls 7: nx_attack_tactic_is_validnx_attack_tactic_name_strlennx_attack_tactic_mitre_idnx_cwe_is_validnx_cwe_mitre_id+1