anteater 0.4.0 copy "anteater: ^0.4.0" to clipboard
anteater: ^0.4.0 copied to clipboard

Anteater is a static analyzer for Dart that provides SSA-based data flow analysis, Datalog-based reasoning, code metrics, and configurable lint rules.

160/ 160
pub points
296
downloads

We analyzed this package 16 hours ago, and awarded it 160 pub points (of a possible 160):

Passed report section
Follow Dart file conventions
30 / 30trigger folding of the section

Passed check 10/10 points: Provide a valid pubspec.yaml

Passed check 5/5 points: Provide a valid README.md

Passed check 5/5 points: Provide a valid CHANGELOG.md

Passed check 10/10 points: Use an OSI-approved license

Detected license: MIT.

Passed report section
Provide documentation
20 / 20trigger folding of the section

Passed check 10/10 points: 20% or more of the public API has dartdoc comments

756 out of 1369 API elements (55.2 %) have documentation comments.

Some symbols that are missing documentation: abstract_domain, abstract_domain.AbstractDomain.AbstractDomain.new, abstract_domain.AbstractState.AbstractState.new, abstract_domain.AbstractState.join, abstract_domain.AbstractState.operator []=.

Passed check 10/10 points: Package has an example

Passed report section
Platform support
20 / 20trigger folding of the section

Passed check 20/20 points: Supports 5 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)

  • ✓ Android

  • ✓ iOS

  • ✓ Windows

  • ✓ Linux

  • ✓ macOS

These platforms are not supported:

Package not compatible with platform Web

Because:

  • package:anteater/anteater.dart that imports:
  • package:anteater/server/hover_provider.dart that imports:
  • package:anteater/server/language_server.dart that imports:
  • package:anteater/metrics/maintainability_index.dart that imports:
  • package:anteater/metrics/complexity_calculator.dart that imports:
  • package:analyzer/dart/ast/visitor.dart that imports:
  • package:analyzer/dart/ast/ast.dart that imports:
  • package:analyzer/src/dart/ast/ast.dart that imports:
  • package:analyzer/src/lint/constants.dart that imports:
  • package:analyzer/src/error/codes.dart that imports:
  • package:analyzer/dart/element/type.dart that imports:
  • package:analyzer/src/dart/element/type.dart that imports:
  • package:analyzer/src/utilities/extensions/element.dart that imports:
  • package:analyzer/src/dart/element/member.dart that imports:
  • package:analyzer/src/generated/utilities_dart.dart that imports:
  • package:analyzer/src/dart/element/element.dart that imports:
  • package:analyzer/src/summary2/linked_element_factory.dart that imports:
  • package:analyzer/src/summary2/export.dart that imports:
  • package:analyzer/src/summary2/library_builder.dart that imports:
  • package:analyzer/src/summary2/types_builder.dart that imports:
  • package:analyzer/src/summary2/link.dart that imports:
  • package:analyzer/src/summary2/variance_builder.dart that imports:
  • package:analyzer/src/summary2/record_type_builder.dart that imports:
  • package:analyzer/src/dart/element/type_visitor.dart that imports:
  • package:analyzer/src/summary2/named_type_builder.dart that imports:
  • package:analyzer/src/dart/element/type_system.dart that imports:
  • package:analyzer/src/generated/inference_log.dart that imports:
  • package:analyzer/src/generated/resolver.dart that imports:
  • package:analyzer/src/util/ast_data_extractor.dart that imports:
  • package:analyzer/dart/element/element.dart that imports:
  • package:analyzer/src/dart/resolver/scope.dart that imports:
  • package:analyzer/src/generated/engine.dart that imports:
  • package:analyzer/src/dart/analysis/analysis_options.dart that imports:
  • package:analyzer/src/lint/registry.dart that imports:
  • package:analyzer/src/analysis_rule/rule_context.dart that imports:
  • package:analyzer/analysis_rule/analysis_rule.dart that imports:
  • package:analyzer/src/lint/pub.dart that imports:
  • package:analyzer/source/file_source.dart that imports:
  • package:analyzer/file_system/file_system.dart that imports:
  • package:watcher/watcher.dart that imports:
  • package:watcher/src/file_watcher/polling.dart that imports:
  • package:watcher/src/polling.dart that imports:
  • dart:io
Passed report section
Pass static analysis
50 / 50trigger folding of the section

Passed check 50/50 points: code has no errors, warnings, lints, or formatting issues

Partially passed report section
Support up-to-date dependencies
40 / 40trigger folding of the section

Partially passed check 10/10 points: All of the package dependencies are supported in the latest version

Package Constraint Compatible Latest Notes
analyzer ^9.0.0 9.0.0 10.0.0
args ^2.7.0 2.7.0 2.7.0
dart_bert_tokenizer ^1.0.2 1.0.2 1.0.2
ffi ^2.1.4 2.1.5 2.1.5
json_annotation ^4.9.0 4.9.0 4.9.0
logging ^1.3.0 1.3.0 1.3.0
lsp_server ^0.4.0 0.4.0 0.4.0
path ^1.9.1 1.9.1 1.9.1
yaml ^3.1.3 3.1.3 3.1.3
Transitive dependencies
Package Constraint Compatible Latest Notes
_fe_analyzer_shared - 92.0.0 93.0.0
async - 2.13.0 2.13.0
collection - 1.19.1 1.19.1
convert - 3.1.2 3.1.2
crypto - 3.0.7 3.0.7
dart_style - 3.1.3 3.1.3
file - 7.0.1 7.0.1
glob - 2.1.3 2.1.3
http - 1.6.0 1.6.0
http_parser - 4.1.2 4.1.2
json_rpc_2 - 4.0.0 4.0.0
meta - 1.17.0 1.17.0
package_config - 2.2.0 2.2.0
pub_semver - 2.2.0 2.2.0
source_span - 1.10.1 1.10.1
stack_trace - 1.12.1 1.12.1
stream_channel - 2.1.4 2.1.4
string_scanner - 1.4.1 1.4.1
term_glyph - 1.2.2 1.2.2
typed_data - 1.4.0 1.4.0
watcher - 1.2.1 1.2.1
web - 1.1.1 1.1.1

To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.

The constraint `^9.0.0` on analyzer does not support the stable version `10.0.0`, that was published 0 days ago.

When analyzer is 30 days old, this package will no longer be awarded points in this category.

Try running dart pub upgrade --major-versions analyzer to update the constraint.

Passed check 10/10 points: Package supports latest stable Dart and Flutter SDKs

Passed check 20/20 points: Compatible with dependency constraint lower bounds

pub downgrade does not expose any static analysis error.

Analyzed with Pana 0.23.5, Dart 3.11.0-296.1.beta.

Check the analysis log for details.

Weekly downloads

Display as:
By versions:
0
likes
160
points
296
downloads

Publisher

verified publisherbrodykim.work

Weekly Downloads

Anteater is a static analyzer for Dart that provides SSA-based data flow analysis, Datalog-based reasoning, code metrics, and configurable lint rules.

Repository (GitHub)
View/report issues

Topics

#static-analysis #linter #code-quality #metrics #dart

Documentation

Documentation
API reference

Funding

Consider supporting this project:

github.com

License

MIT (license)

Dependencies

analyzer, args, dart_bert_tokenizer, ffi, json_annotation, logging, lsp_server, path, yaml

More

Packages that depend on anteater