LICENSE
README.md
pyproject.toml
cgull/__init__.py
cgull/__main__.py
cgull/analysis_session.py
cgull/baseline.py
cgull/call_effects.py
cgull/cli.py
cgull/cli_base.py
cgull/compile_database.py
cgull/config.py
cgull/engine.py
cgull/evidence.py
cgull/fixes.py
cgull/ignore.py
cgull/includes.py
cgull/logging_config.py
cgull/models.py
cgull/multifile.py
cgull/project_analysis.py
cgull/reporter.py
cgull/semantic_model_profiles.py
cgull/semantic_models.py
cgull/summary_imports.py
cgull/telemetry.py
cgull/utils.py
cgull.egg-info/PKG-INFO
cgull.egg-info/SOURCES.txt
cgull.egg-info/dependency_links.txt
cgull.egg-info/entry_points.txt
cgull.egg-info/requires.txt
cgull.egg-info/top_level.txt
cgull/ast_analyzer/__init__.py
cgull/ast_analyzer/callable_signatures.py
cgull/ast_analyzer/configuration.py
cgull/ast_analyzer/coverage.py
cgull/ast_analyzer/integer_types.py
cgull/ast_analyzer/pcpp_diagnostics.py
cgull/ast_analyzer/performance.py
cgull/ast_analyzer/preprocessor.py
cgull/ast_analyzer/standard_signatures.py
cgull/ast_analyzer/types.py
cgull/ast_analyzer/visitor.py
cgull/cfg/__init__.py
cgull/cfg/affine_relations.py
cgull/cfg/ast_events.py
cgull/cfg/call_graph.py
cgull/cfg/construction.py
cgull/cfg/dataflow.py
cgull/cfg/diagnostics.py
cgull/cfg/domains.py
cgull/cfg/fixed_point.py
cgull/cfg/graph.py
cgull/cfg/indirect_calls.py
cgull/cfg/integer_ranges.py
cgull/cfg/legacy_dataflow.py
cgull/cfg/model.py
cgull/cfg/ownership.py
cgull/cfg/ownership_queries.py
cgull/cfg/pointer_endpoint_safety.py
cgull/cfg/pointer_guards.py
cgull/cfg/pointer_interprocedural.py
cgull/cfg/pointer_ranges.py
cgull/cfg/pointer_transformations.py
cgull/cfg/security_dataflow.py
cgull/cfg/security_queries.py
cgull/cfg/size_facts.py
cgull/cfg/summaries.py
cgull/cfg/value_facts.py
cgull/cfg/value_interprocedural.py
cgull/rules/__init__.py
cgull/rules/banned_functions.py
cgull/rules/banned_functions_legacy.py
cgull/rules/banned_functions_policy.py
cgull/rules/base.py
cgull/rules/command_injection.py
cgull/rules/crypto_and_safety.py
cgull/rules/dead_store_initializers.py
cgull/rules/dead_stores.py
cgull/rules/format_string.py
cgull/rules/misra_and_style.py
cgull/rules/trust_boundary.py
cgull/rules/memory_management/__init__.py
cgull/rules/memory_management/buffer_copy_overflow.py
cgull/rules/memory_management/double_free.py
cgull/rules/memory_management/helpers.py
cgull/rules/memory_management/interprocedural_memcpy_bounds.py
cgull/rules/memory_management/interprocedural_memcpy_bounds_precise.py
cgull/rules/memory_management/memcpy_struct_member_overflow.py
cgull/rules/memory_management/memory_leak.py
cgull/rules/memory_management/missing_null_check_params.py
cgull/rules/memory_management/realloc_overwrite.py
cgull/rules/memory_management/return_stack_variable.py
cgull/rules/memory_management/unchecked_dynamic_allocations.py
cgull/rules/memory_management/uninitialized_memory_use.py
cgull/rules/memory_management/uninitialized_pointers.py
cgull/rules/memory_management/unsafe_sensitive_memory_clearing.py
cgull/rules/memory_management/use_after_free.py
cgull/rules/types_and_arrays/__init__.py
cgull/rules/types_and_arrays/arithmetic_integer_overflow.py
cgull/rules/types_and_arrays/array_bounds_guards.py
cgull/rules/types_and_arrays/array_index_constant_bounds.py
cgull/rules/types_and_arrays/array_index_out_of_bounds.py
cgull/rules/types_and_arrays/bitwise_operations_on_signed_integers.py
cgull/rules/types_and_arrays/buffer_capacity_contracts.py
cgull/rules/types_and_arrays/division_by_zero.py
cgull/rules/types_and_arrays/incorrect_pointer_scaling.py
cgull/rules/types_and_arrays/integer_narrowing_cast.py
cgull/rules/types_and_arrays/pointer_endpoint_wraparound.py
cgull/rules/types_and_arrays/pointer_provenance.py
cgull/rules/types_and_arrays/pointer_range_bounds.py
cgull/rules/types_and_arrays/pointer_subtraction_size.py
cgull/rules/types_and_arrays/signed_unsigned_comparison.py
cgull/rules/types_and_arrays/sizeof_on_pointer.py
cgull/rules/types_and_arrays/use_of_magic_numbers.py
cgull/rules/types_and_arrays/validated_pointer_range.py
cgull/rules/types_and_arrays/variable_length_arrays.py
tests/test_analysis_session.py
tests/test_ast_analyzer.py
tests/test_banned_functions_struct_dest.py
tests/test_baseline.py
tests/test_call_effect_models.py
tests/test_cfg_call_events.py
tests/test_cfg_call_graph.py
tests/test_cfg_dataflow.py
tests/test_cfg_fixed_point.py
tests/test_cfg_pointer_ranges.py
tests/test_cfg_security_dataflow.py
tests/test_cfg_security_interprocedural.py
tests/test_cfg_size_facts.py
tests/test_cfg_value_facts.py
tests/test_cgull_002_precision_fixture.py
tests/test_cgull_007_heap_capacity_dataflow.py
tests/test_cgull_007_struct_members.py
tests/test_cli.py
tests/test_compile_commands.py
tests/test_conditional_flag_collector.py
tests/test_config.py
tests/test_config_seed.py
tests/test_config_space_scan.py
tests/test_config_space_variants.py
tests/test_config_strategy.py
tests/test_corpus.py
tests/test_cross_cutting_variant_matrix.py
tests/test_dead_stores.py
tests/test_engine.py
tests/test_finding_evidence.py
tests/test_function_summary_engine.py
tests/test_header_dedup.py
tests/test_ignore.py
tests/test_includes.py
tests/test_interprocedural_corpus.py
tests/test_interprocedural_release_gate.py
tests/test_issue_225_low_coverage_rules.py
tests/test_issue_246_juliet_expansion.py
tests/test_issue_249_safe_fix_cli.py
tests/test_issue_250_sarif_fixes.py
tests/test_issue_286_negative_array_indices.py
tests/test_issue_299_format_string_interprocedural.py
tests/test_issue_300_banned_function_policy.py
tests/test_issue_301_command_injection.py
tests/test_issue_303_interprocedural_memcpy_bounds.py
tests/test_issue_304_output_effects.py
tests/test_issue_305_ownership_effects.py
tests/test_issue_305_realloc_regression.py
tests/test_issue_306_evidence_diagnostics.py
tests/test_issue_308_ast_extraction_performance.py
tests/test_issue_324_cwe_overflow_mapping.py
tests/test_issue_325_buffer_copy_overflow.py
tests/test_issue_326_integer_overflow_taint.py
tests/test_issue_330_memory_leak_path_precision.py
tests/test_issue_331_upstream_juliet_ci.py
tests/test_issue_332_juliet_rule_coverage.py
tests/test_issue_345_value_groups.py
tests/test_issue_347_integer_narrowing_cast.py
tests/test_issue_348_implicit_integer_narrowing.py
tests/test_issue_349_integer_range_provenance.py
tests/test_issue_350_signedness_conversions.py
tests/test_issue_351_sign_extension.py
tests/test_issue_359_callable_signatures.py
tests/test_issue_360_standard_callable_signatures.py
tests/test_issue_361_compound_assignment_conversions.py
tests/test_issue_362_compile_database_includes.py
tests/test_issue_363_unresolved_goto.py
tests/test_issue_365_project_summaries.py
tests/test_issue_366_indirect_calls.py
tests/test_issue_367_scan_telemetry.py
tests/test_issue_370_pointer_bounds.py
tests/test_issue_371_validated_pointer_ranges.py
tests/test_issue_372_pointer_guards.py
tests/test_issue_373_pointer_endpoint_wraparound.py
tests/test_issue_374_pointer_interprocedural.py
tests/test_issue_375_pointer_provenance.py
tests/test_issue_376_external_conversions.py
tests/test_issue_390_integer_expression_types.py
tests/test_issue_393_cfg_module_refactor.py
tests/test_issue_401_offsetof_preprocessing.py
tests/test_issue_401_pcpp_dependency.py
tests/test_issue_403_preprocessor_diagnostics.py
tests/test_issue_404_buffer_capacity_contracts.py
tests/test_issue_405_relational_array_bounds.py
tests/test_issue_406_short_circuit_bounds.py
tests/test_issue_407_declaration_initializers.py
tests/test_juliet_benchmark.py
tests/test_juliet_oracle_diagnosis.py
tests/test_juliet_rule_first_reporting.py
tests/test_juliet_upstream_benchmark.py
tests/test_logging.py
tests/test_memcpy_struct_member_overflow.py
tests/test_models.py
tests/test_naked_control_flow.py
tests/test_reporter.py
tests/test_rules_comprehensive.py
tests/test_scanner.py
tests/test_security_queries.py
tests/test_semantic_model_profiles.py
tests/test_semantic_models.py
tests/test_setup.py
tests/test_struct_defs.py
tests/test_trust_boundary_benchmark.py
tests/test_trust_boundary_rule.py
tests/test_tu_mode.py
tests/test_utils.py
tests/test_variable_shadowing.py