forked from swiftlang/swift
-
Notifications
You must be signed in to change notification settings - Fork 3
2017.09.25
Jeff Cho edited this page Jan 21, 2018
·
1 revision
- a walk through the WALA codebase
- com.ibm.wala.cast.tree.CAstNode
- mapping instructions in Swift IL (SIL) to different types of CAstNode
- Control flow: wrap the target statement of a goto in a LABEL_STMT
- Most of what we need is in the CAstWrapper.h. If not, we can add it and recompile to get the new libcast.so/dynlib
- Next thing to do: take a couple of operations and translate the WALA CAst for.
- Tricky examples: binary addition in Swift is a method call, but in WALA, it is an expression.