...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | Can detect violations of the rule for single-file programs | ||||||||
| 88 D | Fully Partially implemented | |||||||
|
|
|
...
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | Can detect violations of the rule for single-file programs | ||||||||
| 88 D | Fully Partially implemented | |||||||
|
|
|
...