5 ms·
Disclaimer, I'm on my phone so I haven't dug into the source yet. How is this used? For an unimplemented language, would I be coming up with how that language'
by TACIXAT 8y ago
Disclaimer, I'm on my phone so I haven't dug into the source yet.
How is this used? For an unimplemented language, would I be coming up with how that language's instructions map into Sparta rules?
Anyhow, this looks awesome.
- sanxiyn 8y agoYes, writing transfer functions for dataflow analysis is your responsibility.
- TACIXAT 8y agoFor anyone who comes across this in the future, this is a good way to understand the terms of abstract interpretation without getting a PhD. https://wiki.mozilla.org/Abstract_Interpretation https://wiki.mozilla.org/Abstract_Interpretation