Using Aai to audit code is better than nothing, but it doesent replace a professional third party audit. I would have caught this.