aura: Security auditing and code introspection