How are function attributes like __pure determined?

[jryans]

I've noticed that Binary Ninja can label functions with __pure, and I see that the docs explain the precise meaning used for that term.

How is Binary Ninja determining attributes like this? Is it performing its own dataflow analysis, or is it consulting some pre-computed source of information?

[plafosse]

We're performing our own analysis of these functions based up on the IL to determine this.