code optimization and static analysis