libaddr2line used to be a proprietary library distributed by AdaCore
only. (I'm not sure if it was intentionally proprietary.)
As far as I know, it's just the binutils addr2line with a tiny patch/wrapper.
Certainly covered the by GPL, not proprietary.