issues
search
lyxell
/
logifix
Fixing static analysis violations in Java source code using Datalog
BSD 2-Clause "Simplified" License
17
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Master thesis of logifix
#168
algomaster99
closed
2 weeks ago
5
Unable to selectively apply rules
#167
Namyalg
closed
2 years ago
1
Improve detection for simplify_code_using_map_computeifabsent
#166
lyxell
closed
2 years ago
0
Simplify fix_inefficient_calls_to_foreach_list_add
#165
lyxell
closed
2 years ago
0
Simplify remove_redundant_calls_to_close
#164
lyxell
closed
2 years ago
0
Add step to compile caffeine
#163
lyxell
closed
2 years ago
0
Rule simplify_code_using_method_references should be aware that some classes may be type variables
#162
lyxell
opened
2 years ago
0
Rule simplify_code_using_streams should check for calls to methods that may throw
#161
lyxell
opened
2 years ago
0
Remove rule "remove_redundant_parentheses"
#160
lyxell
closed
2 years ago
0
Add step to compile sorald
#159
lyxell
closed
2 years ago
0
Rule simplify_code_using_streams should check for variables that are not effectively final
#158
lyxell
opened
2 years ago
2
Improve typechecking of floating point literals
#157
lyxell
closed
2 years ago
0
Add step to compile mockito
#156
lyxell
closed
2 years ago
0
Add step to compile zipkin
#155
lyxell
closed
2 years ago
0
Add step to compile terasology
#154
lyxell
closed
2 years ago
0
Add step to compile jacoco
#153
lyxell
closed
2 years ago
0
Add step to compile musicbot
#152
lyxell
closed
2 years ago
0
Add step to compile immutables
#151
lyxell
closed
2 years ago
0
Add step to compile jda
#150
lyxell
closed
2 years ago
0
Add step to compile iceberg
#149
lyxell
closed
2 years ago
0
Add step to compile flow
#148
lyxell
closed
2 years ago
0
Add step to compile requery
#147
lyxell
closed
2 years ago
0
Add step to compile spring-batch
#146
lyxell
closed
2 years ago
0
Add step to compile spring-boot
#145
lyxell
closed
2 years ago
0
Add step to compile spring-framework
#144
lyxell
closed
2 years ago
0
Add step to compile netty
#143
lyxell
closed
2 years ago
0
Add step to compile redisson
#142
lyxell
opened
2 years ago
0
Add step to compile payara
#141
lyxell
closed
2 years ago
0
Remove unused boolean transformation rules
#140
lyxell
closed
2 years ago
0
Improve type checking of streams
#139
lyxell
closed
2 years ago
0
Improve typechecking of streams and optionals
#138
lyxell
closed
2 years ago
0
Improve detection of fix_inefficient_calls_to_foreach_list_add
#137
lyxell
closed
2 years ago
0
Improve parsing of assert statements
#136
lyxell
closed
2 years ago
0
Improve typechecking of boolean expressions
#135
lyxell
closed
2 years ago
0
Improve detection of simplify_code_using_method_references
#134
lyxell
closed
2 years ago
0
Allow wildcards to be serialized
#133
lyxell
closed
2 years ago
0
Improve detection for simplify_code_using_streams
#132
lyxell
opened
2 years ago
0
Add side-effect checking
#131
lyxell
closed
2 years ago
0
Remove unused rule "fix_null_pointer_exceptions_by_changing_the_order_of_arguments_in_string_comparison"
#130
lyxell
closed
2 years ago
0
feat: Improve performance using strict SIPS
#129
lyxell
closed
2 years ago
0
Fix type of statements
#128
lyxell
closed
2 years ago
0
Improve detection for remove_unnecessary_calls_to_string_valueof
#127
lyxell
closed
3 years ago
0
feat: Granular cli diffs
#126
lyxell
opened
3 years ago
0
Hide progress when using `--patch`
#125
lyxell
opened
3 years ago
0
Automatically generate AST API Reference
#124
lyxell
closed
3 years ago
0
Break out function print_merge_conflict
#123
lyxell
closed
3 years ago
0
Add more regression tests
#122
lyxell
closed
3 years ago
0
Improve detection of unnecessary boxing for string conversion
#121
lyxell
closed
3 years ago
0
Improve detection for rule with Map#computeIfAbsent
#120
lyxell
closed
3 years ago
0
Add more regression tests
#119
lyxell
closed
2 years ago
0
Next