Skip to content

v.0.1.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@amit-davidson amit-davidson released this 19 Oct 17:30
· 144 commits to master since this release
v.0.1.0
37a9373

Support for:

  • Pointer analysis of variables (does not include synchronization mechanisms such as locks, channels, etc)
  • Analysis of:
    • Conditional branches
    • Functions with a single return
    • Nested functions
    • Interfaces
    • Defers
  • Synchronization using:
    • Mutexes
    • Goroutines starts
Assets 2
Loading