Skip to content

Release 0.7.0
Compare
Choose a tag to compare
@jubnzv jubnzv released this 05 Mar 07:12
· 10 commits to master since this release
0.7.0
a5d8273

Added

  • Tact 1.6 support: PR #314
  • Tact 1.6.1 support: PR #322
  • StateMutationInGetter detector: PR #306
  • UnprotectedCall detector: PR #235
  • SuspiciousLoop detector: PR #206
  • Display function signatures with contract name on CallGraph dump: PR #305
  • Support Node version 23: PR #301
  • Support absolute paths in warning suppressions: PR #257
  • File-scoped CFG dumps: Issue #241
  • CLI option to disable Soufflé: Issue #260
  • Save logs to JSON output: PR #275
  • Callgraph: Add asm functions: PR #277
  • Callgraph: Save field names used in Effect.State{Read,Write}: PR #280
  • Callgraph: Highlight stdlib calls in dump: PR #286
  • IR: Traits support: PR #292
  • Detector: Support multiple severities: Issue #293
  • Callgraph: Traits support: Issue #300

Changed

  • Display warn logger messages to stderr instead of stdout: Issue #259
  • Export Callgraph definitions for Node and Edge
  • Callgraph: Hide unused stdlib functions from dump: PR #276
  • NeverAccessedVariables: More informative warning message for unused fields: Issue #274
  • Callgraph: Separate build logic to src/internals/ir/builders/callgraph.ts: PR #287
  • SuspiciousMessageMode: Revisited warning messages and severities: Issue #294
  • Driver+Detector: Optimize warning suppressions based on severity: PR #303
  • Consolidated all Tact imports in single file: PR #314
  • Removed Tact parser hack from ImportGraphBuilder: PR #314

Fixed

  • Souffle installation in CI: PR #253
  • Tact stdlib path resolution: PR #256
  • BranchDuplicate: False negative in else-if clauses: Issue #258
  • UnboundMap: False positive: Issue #262
  • Internal Errors Printed to stderr Instead of JSON Output: Issue #263
  • CellBounds: Infinite recursion: PR #272
  • Callgraph: Incorrect processing of Effect.StateWrite for cells: PR #279
  • Callgraph: Incorrect handling of getter methods: PR #282
  • ArgCopyMutation: Incorrect handling of return in traits: Issue #290
  • SendInLoop: Remove redundant error logs when accessing patterns like self.<map_field>.set()
  • CellBounds: Accessing property of Object.prototype on .toString method in Tact: PR #318
  • Don't print error messages when -o "json" is set: PR #320
  • Callgraph: Crash on extends function with self argument: Issue #309

Release contributors

Special thanks

Contributors

anton-trunov, jubnzv, and Esorat
Assets 2
Loading