Two source directories are delivered with each Kiasan invariant object.

Kiasan-Stack-src      Contains the original source used by the KSU group
                      which can be used with Kiasan/Sireum software analysis
                      platform libraries located at
                      http://code.google.com/p/sireum/

Stack-src             Contains source files that have no dependency on
                      Kiasan/Sireum libraries with annotations of the
                      contract specifications in JML (as comments).
                      No tools currently can process these JML specifications
                      directly.  You would need to use these JML
                      contract specs as guidance in forming your own
                      analysis tool-specific contract specs.

