search

ballerina-platform / ballerina-spec

Ballerina Language and Platform Specifications
Other
168 stars 53 forks source link

Improve taint checking feature #648

Open jclark opened 3 years ago

jclark commented 3 years ago

Taint checking hasn't been looked at for a while. We should look at it in detail again, in the context of the current language, to see if it can be improved. In particular, we might want to integrate it into the type system and make it part of the language rather than an extension.

First step is to do #387.

jclark commented 3 years ago

Paper on dynamic taint analysis using Truffle (from Oracle):

https://dl.acm.org/doi/abs/10.1145/3426182.3426184