Renraku - The One Static Analysis Model to Rule Them All IWST 2017

1. Renraku
The One Static Analysis Model
to Rule Them All
Yuriy Tymchuk
SCG @ Unibe
Mohammad Ghafari
Oscar Nierstrasz

2. SmallLint

3. Refactoring Browser

4. Maintenance Tools
Have to be Maintained

5. Usage Contracts Hapao
Code BrowsingStack Traces

6. SmallLint Tools
Refactoring Browser CriticBrowser

7. Development Tools
Code Browser Versioning System Issue Tracker

8. Issue Integration
Smart Test
Calypso
Message Browser
Debugger
RENRAKU

9. Renraku Trinity
Critique
TargetRule
of
has
by
produces 11
0..*0..*
validates

10. Renraku UML Subset
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1

11. Renraku UML Subset
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1

12. The Rule
checksPackage
checksClass
checksMethod
checksNode
Interest
(class side)
Information
name
severity
rationale
(class comment)
group
Validation
check: anEntity forCritiquesDo: aBlock

13. Validation Example

14. Match Rule Example

15. Invocation Order Rule Example

16. Renraku UML Subset
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1

17. Property
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1
Target
Rule

18. title()
icon()
actions()
target
Property
description()
ban()
tinyHint
rule
Critique
refactoryChange()
TransformationCritique
package
DependencyCritique
noteText
Note
url
IssueTrackerEntry
Open in web browserEdit note
View description
Ban critique
Automatically resolve Open dependency browser
— critique’s
action

19. Property Exemplified

20. Property Exemplified
Icon

21. Property Exemplified
Icon Title

22. Property Exemplified
Icon Title
Actions

23. Renraku UML Subset
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1

24. Renraku UML Subset
title()
icon()
Property
act(property, target)
description
icon
action
PropertyAction
0..*
actions
description()
ban()
tinyHint
Critique
checksClass()
checksMethod()
checksPackage()
checksNode()
name()
rationale()
group()
severity()
checkTarget(target)
AbstractRule
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
checksNode()
NodeBasedRule
refactoryChange()
TransformationCritique
refactoryChange()
tinyHint()
selector
class
source
MissingMethodCritique
refactoryChange()
oldNode
newNode
NodeReplace
title()
description()
formerMessage
laterMessage
InvocationOrderCritique
checkTarget(target)
NodeMatchRule
checkTarget(target)
NodeTransformRule
checksMethod()
checkTarget(target)
CollectionCopyEmptyRule
sourceAnchor
1
entity
1
rule
1

25. Renraku UML Subset
interval()
SourceAnchor Object
interval()
StringMatchSourceAnchor
stringToSearch
interval()
IntervalSourceAnchor
interval
title()
formerMessage
laterMessage
InvocationOrderCritique
sourceAnchor
1
entity
1

26. Demo

27. The Issues

28. Interests
checksMethod
^ true
interest
^ CompildeMethod

29. Interests
checksNode
^ true
interest
^ RBMessageNode
checkNode: aNode
node isMessage…

30. Tools
critiques externalProperties

31. Routing

32. Routing
RENRAKU

33. Routing
RENRAKU

34. Routing
RENRAKURENRAKU

35. Renraku

36. Renraku
Incremental Rules

37. Renraku
Incremental Rules Incremental Tools

38. Renraku
Incremental Rules Incremental Tools Custom Analysis

39. Renraku
The One Static Analysis Model
to Rule Them All
Object AnalysisIncremental Rules Incremental Tools
Yuriy Tymchuk Mohammad Ghafari Oscar Nierstrasz
Software Composition Group @ University of Bern