## Running analysis for "anteater" version "0.4.0" STARTED: 2026-01-14T21:14:47.046640Z ### Starting pana 2026-01-14 21:14:59.308249 INFO: Running `dart pub unpack anteater:0.4.0 --output /tmp/pana-anteaterOMWHZZ/anteater --no-resolve`... 2026-01-14 21:15:00.211819 INFO: Running `tool/setup-dart.sh /home/worker/dart/latest-stable 3.10.7 stable`... 2026-01-14 21:15:05.622367 INFO: Running `tool/setup-flutter.sh /home/worker/flutter/latest-stable 3.38.7 stable`... 2026-01-14 21:16:18.278556 INFO: Running `/home/worker/dart/latest-stable/bin/dart --version`... 2026-01-14 21:16:18.650675 INFO: Running `/home/worker/flutter/latest-stable/bin/flutter --no-version-check --version --machine`... 2026-01-14 21:16:18.774332 INFO: Running `git rev-parse --show-toplevel`... 2026-01-14 21:16:19.307473 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub get --no-example`... 2026-01-14 21:16:21.813193 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2026-01-14 21:16:22.586124 INFO: Analyzing package... 2026-01-14 21:16:22.618224 INFO: Running `/home/worker/dart/latest-stable/bin/dart analyze --format machine .`... 2026-01-14 21:17:35.180748 INFO: Running `git init`... 2026-01-14 21:17:35.236589 INFO: Running `git remote add origin https://github.com/brody-0125/anteater`... 2026-01-14 21:17:35.261792 INFO: Running `git remote show origin`... 2026-01-14 21:17:36.950093 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`... 2026-01-14 21:17:37.478137 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`... 2026-01-14 21:17:37.505138 INFO: Running `git show origin/main:pubspec.yaml`... 2026-01-14 21:17:53.096570 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub get --no-example`... 2026-01-14 21:17:53.207831 INFO: Running `/home/worker/dart/latest-stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_RIVJHU/.`... 2026-01-14 21:17:53.764080 INFO: Analyzing pub downgrade... 2026-01-14 21:17:53.766860 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub downgrade --no-example`... 2026-01-14 21:17:54.369674 INFO: Running `/home/worker/dart/latest-stable/bin/dart analyze --format machine .`... 2026-01-14 21:17:58.992379 INFO: [pub-downgrade-success] 2026-01-14 21:17:58.995857 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub upgrade --no-example`... 2026-01-14 21:17:59.233516 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub global activate dartdoc 9.0.0`... 2026-01-14 21:18:07.248131 INFO: Running `/home/worker/dart/latest-stable/bin/dart pub global run dartdoc --output /tmp/pana-anteaterOMWHZZ/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/latest-stable`... 2026-01-14 21:18:52.438492 INFO: `dartdoc` completed: 2026-01-14 21:18:52.438492 INFO: Documenting anteater... 2026-01-14 21:18:52.438492 INFO: Discovering libraries... 2026-01-14 21:18:52.438492 INFO: Linking elements... 2026-01-14 21:18:52.438492 INFO: Precaching local docs for 313573 elements... 2026-01-14 21:18:52.438492 INFO: Initialized dartdoc with 833 libraries 2026-01-14 21:18:52.438492 INFO: Generating docs for library server/code_actions_provider.dart from package:anteater/server/code_actions_provider.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library server/diagnostics_provider.dart from package:anteater/server/diagnostics_provider.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library server/hover_provider.dart from package:anteater/server/hover_provider.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library server/language_server.dart from package:anteater/server/language_server.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/quality/prefer_first_last_rule.dart from package:anteater/rules/rules/quality/prefer_first_last_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/quality/binary_expression_order_rule.dart from package:anteater/rules/rules/quality/binary_expression_order_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/quality/avoid_unnecessary_cast_rule.dart from package:anteater/rules/rules/quality/avoid_unnecessary_cast_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/quality/prefer_async_await_rule.dart from package:anteater/rules/rules/quality/prefer_async_await_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/quality/prefer_trailing_comma_rule.dart from package:anteater/rules/rules/quality/prefer_trailing_comma_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/safety/no_equal_then_else_rule.dart from package:anteater/rules/rules/safety/no_equal_then_else_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/safety/avoid_late_keyword_rule.dart from package:anteater/rules/rules/safety/avoid_late_keyword_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/safety/no_empty_block_rule.dart from package:anteater/rules/rules/safety/no_empty_block_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/safety/avoid_dynamic_rule.dart from package:anteater/rules/rules/safety/avoid_dynamic_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rules/safety/avoid_global_state_rule.dart from package:anteater/rules/rules/safety/avoid_global_state_rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rule_registry.dart from package:anteater/rules/rule_registry.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rule_runner.dart from package:anteater/rules/rule_runner.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rule.dart from package:anteater/rules/rule.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library rules/rule_config.dart from package:anteater/rules/rule_config.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library metrics/maintainability_index.dart from package:anteater/metrics/maintainability_index.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library metrics/complexity_calculator.dart from package:anteater/metrics/complexity_calculator.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library metrics/metrics_aggregator.dart from package:anteater/metrics/metrics_aggregator.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library anteater.dart from package:anteater/anteater.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/abstract/abstract_interpreter.dart from package:anteater/reasoner/abstract/abstract_interpreter.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/abstract/abstract_domain.dart from package:anteater/reasoner/abstract/abstract_domain.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/abstract/bounds_checker.dart from package:anteater/reasoner/abstract/bounds_checker.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/abstract/null_verifier.dart from package:anteater/reasoner/abstract/null_verifier.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/datalog/datalog_engine.dart from package:anteater/reasoner/datalog/datalog_engine.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/datalog/fact_extractor.dart from package:anteater/reasoner/datalog/fact_extractor.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library reasoner/datalog/points_to_analysis.dart from package:anteater/reasoner/datalog/points_to_analysis.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library api/anteater.dart from package:anteater/api/anteater.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library api/parallel_analyzer.dart from package:anteater/api/parallel_analyzer.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library version.dart from package:anteater/version.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library ir/ssa/ssa_builder.dart from package:anteater/ir/ssa/ssa_builder.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library ir/cfg/cfg_builder.dart from package:anteater/ir/cfg/cfg_builder.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library ir/cfg/control_flow_graph.dart from package:anteater/ir/cfg/control_flow_graph.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library neural/tokenizer/wordpiece_tokenizer.dart from package:anteater/neural/tokenizer/wordpiece_tokenizer.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library neural/inference/onnx_runtime.dart from package:anteater/neural/inference/onnx_runtime.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library neural/inference/onnx_ffi.dart from package:anteater/neural/inference/onnx_ffi.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library neural/cache/embedding_cache.dart from package:anteater/neural/cache/embedding_cache.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library frontend/kernel_reader.dart from package:anteater/frontend/kernel_reader.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library frontend/source_loader.dart from package:anteater/frontend/source_loader.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library frontend/ir_generator.dart from package:anteater/frontend/ir_generator.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/debt_config.dart from package:anteater/debt/debt_config.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/debt_item.dart from package:anteater/debt/debt_item.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/debt_aggregator.dart from package:anteater/debt/debt_aggregator.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/debt_detector.dart from package:anteater/debt/debt_detector.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/cost_calculator.dart from package:anteater/debt/cost_calculator.dart... 2026-01-14 21:18:52.438492 INFO: Generating docs for library debt/debt_report.dart from package:anteater/debt/debt_report.dart... 2026-01-14 21:18:52.438492 INFO: Documented 48 public libraries in 43.5 seconds 2026-01-14 21:18:52.438492 INFO: Success! Docs generated into /tmp/pana-anteaterOMWHZZ/raw-dartdoc 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [0] 2026-01-14 21:18:52.438492 INFO: from prefer_first_last_rule.PreferFirstLastRule: (file:///tmp/pana_RIVJHU/lib/rules/rules/quality/prefer_first_last_rule.dart:38:7) 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [length - 1] 2026-01-14 21:18:52.438492 INFO: from prefer_first_last_rule.PreferFirstLastRule: (file:///tmp/pana_RIVJHU/lib/rules/rules/quality/prefer_first_last_rule.dart:38:7) 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [RuleConfig.fromFile] 2026-01-14 21:18:52.438492 INFO: from rule_config.RuleConfig: (file:///tmp/pana_RIVJHU/lib/rules/rule_config.dart:28:7) 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [i] 2026-01-14 21:18:52.438492 INFO: from control_flow_graph.IndexAccessValue: (file:///tmp/pana_RIVJHU/lib/ir/cfg/control_flow_graph.dart:238:7) 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [min, max] 2026-01-14 21:18:52.438492 INFO: from abstract_domain.IntervalDomain: (file:///tmp/pana_RIVJHU/lib/reasoner/abstract/abstract_domain.dart:40:7) 2026-01-14 21:18:52.438492 INFO: warning: unresolved doc reference [0, n-1] 2026-01-14 21:18:52.438492 INFO: from abstract_domain.IntervalDomain.arrayIndex: (file:///tmp/pana_RIVJHU/lib/reasoner/abstract/abstract_domain.dart:51:26) 2026-01-14 21:18:52.438492 INFO: Found 6 warnings and 0 errors. 2026-01-14 21:18:52.514141 INFO: Writing summary.json 2026-01-14 21:18:52.517096 INFO: Running dartdoc post-processing 2026-01-14 21:18:52.519495 INFO: Creating .tar.gz archive 2026-01-14 21:18:54.097556 INFO: Finished .tar.gz archive 2026-01-14 21:18:56.497242 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2026-01-14T21:18:56.651282Z