نرم افزار Astree چک کننده کد های c , c++ جهت بررسی کد به صورت استاتیک و دینامیک برای پروژه های safetly critical است. https://www.absint.com/astree/index.htm […]