Detecting False Negatives in Static Analysis Tools Using Test Code Mutants

������ ������������������ ������ ��������������� ������������ ��������� ��������������� ��������� ������������ ������ ��������������� ������������. ������ ������������ ��������� ������ ��� ��������� ��������� ������������ ��������� ��������������� ��������� ������������ ��������� ������������ ��������� ������������������ ������ ������ ��������� ��� ������ ���������. ��������������� ������ ������ ������������, ������������ ��������� ������������ ������������ ������������ ������ ��������������� ��������������������� ��������� ��������� ��������� ������. ��� ���������������, ������������ ��������� ��������� ������������ ������������������ ������������������ ������������ ������������ ������������ ��������� ������������. ��������� ������ ��������� ������������ ��������� ������ ��������� ��� ������������ ���������������. Modern Software is often exposed to security accidents primarily due to malicious hackings taking advantage of defects and vulnerabilities residing in source code. Recent technological advance and commercial success of static-analysis tools have made it possible for software developers to use the tools and detect safety defects and security vulnerabilities before release. Despite the advantages of static code analysis, the developers tend to avoid using it because of the immoderate false negatives and positives. In this paper, we propose an effective method of automatically generating test codes for static-analysis tools based on mutation testing techniques. In fact, several false-negatives of commercially released a static analysis tool were found by this method