10 Commits (02a7dd7349fd89a8d17385c6aa8be5601cb4a256)

Author SHA1 Message Date
Ezgi Çiçek 2bd39abefc [purity] Add model for Object.clone()
5 years ago
Ezgi Çiçek c14b917e7f [purity] Rename tests
6 years ago
Ezgi Çiçek a01a4a3658 [purity] Enhance purity models with invalidated arguments
6 years ago
Ezgi Çiçek d033e72196 [purity] Add tests for locality
6 years ago
Sungkeun Cho b55996d01a [inferbo] Symbolic value for global variable
6 years ago
Ezgi Çiçek 340ac9d1c9 [purity] Fix global modification via argument passing
6 years ago
Ezgi Çiçek 6e0682b463 [purity] Mark unmodeled functions as modifying global state
6 years ago
Mehdi Bouaziz 1b8927badd [inferbo/cost] Do not produce inferbo issues on Cost and Purity analysis
6 years ago
Ezgi Çiçek b46f55d0bc [purity] Mark functions with empty modified params as pure
6 years ago
Ezgi Çiçek 43b3f80de5 Add simple purity analysis
6 years ago