Pennsylvania State University 3 credits CSE
This course explores the fundamental concepts, algorithms, and engineering processes of analyzing programs for correctness, security, and performance. It is intended as a course for first-year or second-year graduate students in computational majors such as computer science and computer engineering since it covers how to analyze programs rigorously based on program semantics. First, the course will cover basic static analysis algorithms, from dataflow analysis to complex points-to analysis. This part will also cover logical programming and ask students to implement static-analysis algorithms using logical programming. The next part will give an overview of the theory of static analysis, using the framework of abstract interpretation. The third part will focus on dynamic analysis and its instances such as taint tracking. The final part will discuss one application of static analysis in analyzing binary code for security. Upon successful completion of the course students will be able to demonstrate understanding of and implement the basic program analysis algorithms and be able to customize these algorithms for specific applications.
Our subject experts help with essays, research papers, case studies, discussion posts, and capstone projects for these programs β written from scratch to your course requirements.
Program and course information is reproduced from each university's published academic catalog for informational purposes and may change. Always confirm current requirements with your university. We are an independent academic support service and are not affiliated with or endorsed by the universities listed.
Expert guides on essay writing, citation styles, study skills, and academic success.
View All Articles
Learn how to write a good research question for a paper. Narrow your topic, identify a research problem, and create a focused question with practical examples.
Learn how to choose a research topic you can actually research. Discover how to narrow broad ideas, find reliable sources, and develop a focused research question.
Learn how to cite sources in a research paper using APA, MLA, and Chicago styles, with in-text citation examples and reference-list tips.