أرسل هذا في رسالة قصيرة: Platform for interprocedural static analysis of binary code