Skip to content

Milestones

List view

  • Third iteration phases: - Fix bugs/refine current functionality - Examine conditional statements - Begin the concolic engine (examine values of variables in conditionals, give ranges)

    Due by July 3, 2020
  • Initial prototype for group demonstration: parse a Go project, find all log types (assuming log.*.Msg(someString)), match a log message to its source location.

    Due by June 4, 2020
    6/6 issues closed