search

lyxell / logifix

Fixing static analysis violations in Java source code using Datalog
BSD 2-Clause "Simplified" License
17 stars 0 forks source link

Add side-effect checking #131

Closed lyxell closed 2 years ago