issues
search
Static-Homeworks-CUB
/
fall2024
Assignments for the Static Program Analysis course, Constructor University Bremen, Fall 2024.
0
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Symbolic execution engine
#43
jubnzv
opened
3 days ago
0
HW02 Stepanov Andrei
#42
StepanovAndreyPsk
opened
1 month ago
0
HW02 Veronika Sirotkina
#41
ozzush
closed
2 weeks ago
0
HW02 Nikita Ivlev
#40
nekitivlev
opened
1 month ago
0
HW2: Reaching definition analysis [Nikita Dukin]
#39
Fant1k34
opened
1 month ago
0
HW02 `UsedDefinitions` (Alternative) [Mikhail Vorobev]
#38
InversionSpaces
opened
1 month ago
0
HW02 by Denis Lochmelis
#37
DLochmelis33
opened
1 month ago
0
HW02 Kirill Shirokov
#36
shirokov-kirill
opened
1 month ago
0
HW02 Timur Kudashev
#35
FerrumBrain
closed
1 month ago
0
Copy Propagation
#34
jubnzv
opened
1 month ago
1
Definite Assignment Analysis
#33
jubnzv
opened
1 month ago
1
Use-Definition Chains
#32
jubnzv
opened
1 month ago
1
Upward Exposed Definitions
#31
jubnzv
opened
1 month ago
1
Downward Exposed Uses
#30
jubnzv
opened
1 month ago
1
Constant Propagation
#29
jubnzv
closed
2 weeks ago
1
Anticipated Expressions
#28
jubnzv
opened
1 month ago
0
Very Busy Expressions
#27
jubnzv
opened
1 month ago
0
Available Expressions
#26
jubnzv
closed
1 month ago
1
Reaching Definitions
#25
jubnzv
opened
1 month ago
1
Assignment 1: Unused Loop Variable - Mikhail Rodionychev
#24
Taifin
closed
1 month ago
0
Magic Numbers Detector - Veronika Sirotkina
#23
ozzush
closed
1 month ago
0
issue 8 - assignment 1 - nikita dukin
#22
Fant1k34
closed
1 month ago
1
Kirill Shirokov, Assignment 1
#21
shirokov-kirill
closed
1 month ago
0
hw01-ast-detector Andrei Stepanov
#20
StepanovAndreyPsk
closed
1 month ago
0
HW01: `sendInLoop` detector [Mikhail Vorobev]
#19
InversionSpaces
closed
1 month ago
0
01-ast-detector by Denis Lochmelis
#18
DLochmelis33
closed
1 month ago
2
HW01 Nikita Ivlev
#17
nekitivlev
closed
2 months ago
0
HW01 Timur Kudashev
#16
FerrumBrain
closed
2 months ago
0
`nativeRandom` Is Used
#15
jubnzv
closed
1 month ago
1
`nativeSendMessage` is Used
#14
jubnzv
opened
2 months ago
0
Untyped `let` Is Used
#13
jubnzv
closed
2 months ago
1
`send` in Loop
#12
jubnzv
closed
1 month ago
1
External Receiver is Used
#11
jubnzv
closed
1 month ago
1
Use Getter
#10
jubnzv
opened
2 months ago
0
Unreachable Conditional Statements
#9
jubnzv
opened
2 months ago
0
Unreachable While Statements
#8
jubnzv
closed
1 month ago
1
Use `try-catch` instead `try`
#7
jubnzv
opened
2 months ago
1
Unused Loop Variable
#6
jubnzv
closed
1 month ago
1
Read-only Field
#5
jubnzv
closed
1 month ago
1
Magic Numbers
#4
jubnzv
closed
1 month ago
1
`if .. else if` should have `else`
#3
jubnzv
closed
2 months ago
1
No `inline` functions
#1
jubnzv
opened
2 months ago
0