https://github.com/guilhermebn198/program-slicing_pic

exploring program slicing and documenting my discoveries
https://github.com/guilhermebn198/program-slicing_pic

c english esbmc frama-c pt-br slicing static-analysis

Last synced: 3 months ago
JSON representation

exploring program slicing and documenting my discoveries

• Host: GitHub
• URL: https://github.com/guilhermebn198/program-slicing_pic
• Owner: GuilhermeBn198
• License: mit
• Created: 2023-03-27T21:13:29.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-06-23T06:40:06.000Z (11 months ago)
• Last Synced: 2024-06-24T06:59:02.259Z (11 months ago)
• Topics: c, english, esbmc, frama-c, pt-br, slicing, static-analysis
• Language: C
• Homepage:
• Size: 151 MB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project