Yukun Dong

  • Citations Per Year
Learn More
On account of the complexity of programs, it is a difficult work to recognize all addressable expressions, which is one of the preconditions of sound static analysis. This paper introduces an approach to recognizing all addressable expressions of C program. Firstly, we induce grammar patterns of C addressable expressions, mapping each kind of them to node(More)
Original scientific paper As a fundamental issue in software testing, automatic test data generation is of crucial importance, which is essentially a constraint satisfaction problem and solved by search algorithms. In our previous research, branch and bound was proposed as our constraint solver and the look-ahead methods were elaborated. Based on interval(More)
  • Yukun Dong
  • 2015 International Conference on Computational…
  • 2015
In this paper, a region-based symbolic three-valued logic (RSTVL) is to describe the storage state of a memory object. RSTVL utilises abstract region to simulate the block of the concrete memory, a symbolic expression to express the value of a memory object, and the interval domain to describe the value of each symbol of symbolic expression, and then(More)
  • Yukun Dong
  • 2016 10th International Conference on Complex…
  • 2016
There are many illegal memory access (IMA) defects in C programs, for example, null pointer dereference, buffer overflow and array out of bounds. When C programs are running, these defects may cause software failure, and may lead to serious consequences. In order to fully detect these IMA defects, we apply abstract regions to simulate memory blocks that(More)
One of the bottlenecks in interprocedural analysis is the difficulty in handling complex parameters. This paper proposes a novel approach to solve this problem: symbolic procedure summary, which is constructed using regionbased symbolic three-valued logic (RSTVL). RSTVL is a memory model that can describe memory state of variables and all kinds of(More)
There are many illegal value use defects in C programs, for example, illegal computing, use of uninitialized variables and array out of bounds. When C programs are running, these defects may cause software failure, and may lead to serious consequences. For fully detecting these illegal value use defects, we apply abstract regions simulate memory blocks that(More)
  • 1