https://github.com/tech-srl/safe

SAFE static analysis tools
https://github.com/tech-srl/safe

Last synced: 10 months ago
JSON representation

SAFE static analysis tools

• Host: GitHub
• URL: https://github.com/tech-srl/safe
• Owner: tech-srl
• Created: 2012-06-07T14:04:41.000Z (almost 14 years ago)
• Default Branch: master
• Last Pushed: 2020-04-16T16:18:17.000Z (about 6 years ago)
• Last Synced: 2025-03-27T23:33:05.952Z (about 1 year ago)
• Language: Java
• Size: 8.27 MB
• Stars: 12
• Watchers: 6
• Forks: 11
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
SAFE

====

SAFE static analysis tools

## Eclipse Update Site

https://raw.githubusercontent.com/ponder-lab/safe/master/com.ibm.safe.updatesite