Origin/develop/field immutability#3

Open

roterEmil wants to merge 340 commits intostg-tud:developfrom

roterEmil:origin/develop/fieldImmutability

This pull request is big! We're only showing the most recent 250 commits

Commits on Feb 18, 2020

dependers are now a java HashSet. split dependers and suppressed dependers
Florian Kübler
committed
added todos
Florian Kübler
committed

Commits on Feb 19, 2020

Dependent Immutability improvements
Tobias Roth
committed
updating PropertiesTest to the new status
Tobias Roth
committed
updating PropertiesTest to the new status 2
Tobias Roth
committed
updating PropertyStoreKey to the new status
Tobias Roth
committed
updating PropertiesTest to the new status
Tobias Roth
committed
formatting PropertiesTest
Tobias Roth
committed
replaced broken pkecpropertystore impl. with the new one
Florian Kübler
committed
removed dht store
Florian Kübler
committed
Merge branch 'develop' into origin/develop/fieldImmutability
roterEmil
authored

Commits on Feb 21, 2020

Removed @volatile, the locks suffice
errt
committed
handling extending generic types
Tobias Roth
committed
removing workaround for running on jdk
Tobias Roth
committed

Commits on Feb 27, 2020

also clear dependees for interim partial results
Florian Kübler
committed

Commits on Feb 28, 2020

Merge branch 'develop' into feature/NewParallelStores
Florian Kübler
committed
Use multiple queues to avoid contention
errt
committed

Commits on Mar 5, 2020

class immutability analysis optimization
Tobias Roth
committed

Commits on Mar 6, 2020

optimization in Field Immutability analysis. The best immutability property is now default.
Tobias Roth
committed
New Purity Analysis depending on new immutability analyses.
Tobias Roth
committed
formatting
Tobias Roth
committed

Commits on Mar 7, 2020

tests improvements and formatting
Tobias Roth
committed
new immutability tests and optimization
Tobias Roth
committed
improving test classes
Tobias Roth
committed

Commits on Mar 9, 2020

more efficient hashcode&equals
Florian Kübler
committed
use better check order
Florian Kübler
committed
changed API to use Set for dependees
Florian Kübler
committed
performance improvements
Florian Kübler
committed
minor
Florian Kübler
committed

Commits on Mar 11, 2020

used lazy vals for hashcodes and pks
Florian Kübler
committed
workstealing and initial queues
Florian Kübler
committed
avoid double read
Florian Kübler
committed
don’t use Integer.compareTo
Florian Kübler
committed
minor improvements
Florian Kübler
committed
wip
Florian Kübler
committed

Commits on Mar 14, 2020

Revise Demos for evaluation purpose
Tobias Roth
committed
revise tests
Tobias Roth
committed
bug fixing in class imm analysis
Tobias Roth
committed

Commits on Mar 18, 2020

removing unnecessary import
Tobias Roth
committed
analyze online project files
Tobias Roth
committed
improvements: hardcoding deep immutability of String, handling of array types
Tobias Roth
committed
improvement: of class and interface separation, and filtering of mutable fields - only project class fields
Tobias Roth
committed
New test-cases for fields with strings and arrays
Tobias Roth
committed

Commits on Mar 21, 2020

Improving and Bug Fixing
Tobias Roth
committed

Commits on Mar 25, 2020

extending Field with the property is synthetic (isSyn)
Tobias Roth
committed
improving demos and test for evaluation
Tobias Roth
committed
improvements and fixing of the missing case in class imm analysis of dep imm superclass
Tobias Roth
committed

Commits on Mar 26, 2020

correction
Tobias Roth
committed

Commits on May 8, 2020

Commits on May 11, 2020

Commits on May 13, 2020

Prevent threads from terminating while there are initial tasks
errt
committed

Commits on Jun 3, 2020

Merge branch 'develop' into origin/develop/fieldImmutability
roterEmil
authored

Commits on Jun 5, 2020

Commits on Jun 8, 2020

test 3: for finding test errors
Tobias Roth
committed

Commits on Jun 9, 2020

sandbox test 1 for finding test errors
Tobias Roth
committed

Commits on Jun 22, 2020

eff deep imm fields introduction; still with debugging printlns
Tobias Roth
committed

Commits on Jun 23, 2020

format correction
Tobias Roth
committed
adapt the imports in demos to the new analysis location
Tobias Roth
committed
format + ref conf correction
Tobias Roth
committed
Test
Tobias Roth
committed
revert Test
Tobias Roth
committed

Commits on Jun 24, 2020

inserting printlns for debugging purpose
Tobias Roth
committed
inserting linebreak; trying to solve formatting issue
Tobias Roth
committed
optimized running analyses
Tobias Roth
committed
inserted printlns for debugging purpose
Tobias Roth
committed

Commits on Jun 25, 2020

Commits on Jun 26, 2020

adjusting correct rater
Tobias Roth
committed

Commits on Jun 30, 2020

revise dcl recognition with domtree, and tests
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed

Commits on Jul 1, 2020

inserting printlns for debugging purposes
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
set purity analysis rater
Tobias Roth
committed
import issue
Tobias Roth
committed
run all imm tests
Tobias Roth
committed

Commits on Jul 3, 2020

inserting printlns for debugging purposes in rta call graph analysis
Tobias Roth
committed
inserting printlns for debugging purposes, revise
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
inserting printlns for debugging purposes, revise
Tobias Roth
committed
inserting printlns for debugging purposes, revise
Tobias Roth
committed
inserting printlns for debugging purposes,revise
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
inserting exception for debugging purposes
Tobias Roth
committed
compiling tests on github before run
Tobias Roth
committed
inserting printlns java version for debugging purposes
Tobias Roth
committed
inserting printlns for debugging purposes
Tobias Roth
committed
inserting println target
Tobias Roth
committed
println return all methods
Tobias Roth
committed
inserting printlns for printing body of init for debugging purposes
Tobias Roth
committed

Commits on Jul 9, 2020

Commits on Jul 14, 2020

dcl combination and performance optimization of eff deep imm fields recognition
Tobias Roth
committed
tests revise
Tobias Roth
committed
new dcl tests
Tobias Roth
committed
updating running analyses list
roterEmil
committed
revise imports
roterEmil
committed

Commits on Jul 17, 2020

performance optimizations
roterEmil
committed

Commits on Jul 20, 2020

Commits on Jul 21, 2020

Commits on Jul 27, 2020

Commits on Jul 29, 2020

Commits on Jul 31, 2020

Commits on Aug 7, 2020

current status, still WIP, code not fully revised, one test remaining
roterEmil
committed

Commits on Aug 17, 2020

revised array handling, still wip. Not fully reviewed yet
roterEmil
committed

Commits on Aug 19, 2020

Commits on Aug 20, 2020

renaming of classes for compatibility purposes
roterEmil
committed

Commits on Aug 26, 2020

Commits on Sep 16, 2020

Commits on Sep 17, 2020

Commits on Sep 24, 2020

Commits on Sep 28, 2020

Commits on Oct 7, 2020

Commits on Oct 9, 2020

revised, still wip
roterEmil
committed

Commits on Oct 13, 2020

revised, still wip
roterEmil
committed

Commits on Oct 16, 2020

revised, still wip
roterEmil
committed

Commits on Oct 20, 2020

reformatted
roterEmil
committed

Commits on Oct 22, 2020

revised, still wip
roterEmil
committed

Commits on Oct 23, 2020

revised, still wip
roterEmil
committed

Commits on Nov 6, 2020

Commits on Nov 9, 2020

Commits on Dec 1, 2020

Commits on Dec 14, 2020

Commits on Dec 22, 2020

changed reimInfer comparison. Now filters out synthetic fields and enums
roterEmil
committed

Commits on Feb 11, 2021

Commits on Feb 15, 2021

removed escape considering due to unsoundness
roterEmil
committed

Commits on Mar 8, 2021

Commits on Mar 12, 2021