A Framework For Characterizing The Safety Of Li-Bess Using Performance Based Code Analysis And Testing