Development of novel binary analysis techniques for security applications