https://github.com/harmim/vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser
https://github.com/harmim/vut-pp1

abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit

Last synced: 22 days ago
JSON representation

Project Practice 1 - Atomer: Atomicity Violations Analyser

• Host: GitHub
• URL: https://github.com/harmim/vut-pp1
• Owner: harmim
• License: mit
• Created: 2020-03-10T03:00:35.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2022-05-12T09:05:07.000Z (almost 3 years ago)
• Last Synced: 2025-02-06T12:48:08.879Z (2 months ago)
• Topics: abstract-interpretation, atomicity, atomicity-violation, concurrency, facebook, facebook-infer, ocaml, program-analysis, project, project-practice, static-analysis, vut, vut-fit
• Language: Java
• Homepage:
• Size: 10.4 MB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Project Practice 1

## Atomer: Atomicity Violations Analyser

##### Author: Dominik Harmim