More information:
- Static analysis across language boundaries
- Example cross-language interactions
- Webclient (Js/TypeScript) / Webserver (Java)
- Java/JNI/{C, Python, Ada}
- C#/F#
- Remote Procedure Calls (XML-RPC, JSON-RPC)
- Reverse engineering data and control flow
- Connecting the dots
- Removing (trusted) implementation layers
- Can we make this scale?
- Effort per language/framework?
- (Modular) Analysis efficiency?
This project may be hosted at TUE/CWI.
