CompL-Research stava issues - Githubissues

CompL-Research / stava

Stava is a static program analysis for identifying stack allocable objects of code written in Java 8

7 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Method1: Use Intraprocedural results in Interprocedural for slight accuracy, stack ordering PR

#15 Signior-X opened 1 year ago
0
Updating Static Analyser to TopDown and Stack Ordering - Method 2

#14 Signior-X opened 1 year ago
0
Inline Recapture

#13 yash-bansod closed 2 years ago
0
ADD GPL v3 License.

#12 dheeraj135 opened 3 years ago
0
Merge Reworked into master.

#11 dheeraj135 closed 3 years ago
1
Tests

#10 42niks closed 3 years ago
0
Correct BCI for NewArray and NewMultiArray Statements and Fix DaCapo

#9 dheeraj135 closed 3 years ago
2
BCIs for `newarray/anewarray/*newmultiarray` etc are incorrect

#8 manasthakur closed 3 years ago
1
Testcases

#7 42niks opened 4 years ago
3
LoadStmt config compliance

#6 42niks closed 4 years ago
0
Can new arrays be allcoated on stack?

#5 42niks opened 4 years ago
2
Examples

#4 42niks opened 4 years ago
0
Verification of updates for Load and Store Statements

#3 42niks closed 4 years ago
5
Using ObjectFactory for creation of ObjectNode

#2 42niks opened 4 years ago
0
Verification of Weak Updates

#1 42niks closed 4 years ago
2