Static Analysis of OpenLDAP