Solutions to Engineering Challenges

Engineering Challenges and Their Solutions

In our [SCAM 2018] [engineering paper], we highlighted several engineering challenges in building and evaluating this project. We list these challenges below and provide links to the code that implements their solutions:

Programmatically Utilizing SAFE

Building APIs to Create Automata When Necessary

Creating "Typestate Rules"

Client Perspective

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L998
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L206-L211

Library Perspective

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamExecutionModeTypeStateRule.java#L13-L66
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAttributeTypestateRule.java#L16-L79
• https://github.com/tech-srl/safe/commit/84e4632add2acd9e5fa07e9ff2c05333e6c215d0
• https://github.com/tech-srl/safe/commit/f4cc32643fbfbf5107c6f78bf4b5e0c30a718f60

Bringing SAFE Up-to-date With Recent WALA Versions

• https://github.com/tech-srl/safe/commit/e63ec6d0554c740dabb27d2453fa6e6dc6c85f2a
• https://github.com/tech-srl/safe/commit/016461e1fc21c7f09a99bd7b01f37c33a1236726
• https://github.com/wala/WALA/commit/d24519e97497e24fe8e4495331a649343905694b