If Abigail is utilizing compiled software and does not have access to the software binaries, what alternative security measure can she implement?

There is an advantage of compiling software, that is you can perform static code analysis. Static code analysis, also known as static program analysis, is a technique used in software development to analyze source code without executing it. It involves examining the code for potential errors, vulnerabilities, code quality issues, and adherence to coding standards. That is synonymous with Abigail who can review the source code for flaws and could even remediate flaws if they were found. Both binaries and compiled code can be tested in a live environment (dynamic analysis), and checksums for both can be validated.