Program partitioning: a framework for combining static and dynamic analysis

@inproceedings{Jalote2006ProgramPA,
  title={Program partitioning: a framework for combining static and dynamic analysis},
  author={Pankaj Jalote and Vipindeep Vangala and Taranbir Singh and Prateek Jain},
  booktitle={WODA '06},
  year={2006}
}
For higher quality software, static analysis and dynamic analysis should be used in a complementary manner. In this work, we explore the concept of partitioning a program such that the partitions can be analyzed separately. With such partitioning, potentially different analysis techniques can be applied to different program partitions, with each analysis having to deal with reduced code which can increase its effectiveness. Our experiments show that partitioning can indeed increase the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…