A fluent interface for defining and computing typestate analyses
See here for further details: https://dl.acm.org/citation.cfm?id=2614629
secure-software-engineering/TS4J
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A fluent interface for defining and computing typestate analyses
See here for further details: https://dl.acm.org/citation.cfm?id=2614629