Model Go's net/smtp email API for data-flow analysis
Model Go's net/smtp email API for data-flow analysis: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). Our Go data-flow library can already recognise many "interesting" data sinks (SQL queries, OS commands, HTTP responses, …), but it currently has no notion of email…
The task
Our Go data-flow library can already recognise many "interesting" data sinks (SQL queries, OS commands, HTTP responses, …), but it currently has no notion of *email*. As a result, security queries can't reason about untrusted data that ends up inside an outgoing message. I'd like to add first-class support for this.
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.