Amit Davidson Chronos Versions Save

Chronos - A static race detector for the go language

v.0.1.0

3 years ago

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