v.0.1.0

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