Today, dynamic software testing based on symbolic execution techniques is widely used, but the problem of path explosion caused by symbolic execution of traversal paths extremely limits its performance. We apply a system Angr based on dynamic symbolic execution technique, which loads the binary programs to be tested and converts them into an intermediate language symbolization traversal program. We also propose a classification method for the programs to be tested according to their characteristics, adjust  parameter settings during the traversal, and prune the traversal process to alleviate the path explosion problem. In order to analyze the application methods of Angr in software testing, we use this system to adjust the parameters of several categories of programs separately, so it can be applied to the vulnerability detection of more software systems.