barc memory based analysis 2023