ByNobleID
    Platform for interprocedural static analysis of binary code | NobleID