View Source

* CSE 6324 - Advanced Topics in Software Engineering (Fall 2017)
* Section 1

h2. Class Meetings
* Time: Monday and Wednesday, 4:00 pm - 5:20 pm
* Location: TBD

h2. Instructor
* [Christoph Csallner|http://ranger.uta.edu/~csallner/index.html]
* Office hours: Monday and Wednesday, 12 pm -- 12:45pm
* Office: ERB 554
* Email: [mailto:csallner@uta.edu]

h2. TA
* TBD


h2. Topic: Program Analysis

This course is a hands-on introduction to automatic program analysis. Automatic program analysis has many applications, for example:

* Compilers: [GCC|http://gcc.gnu.org/], [LLVM|http://llvm.org/]
* Virtual machines: .Net, [Java VM|http://docs.oracle.com/javase/specs/]
* Integrated development environments: [Visual Studio|http://www.visualstudio.com/], [Eclipse|http://www.eclipse.org/]
* Program understanding and re-engineering tools
* Automatic bug finding and and verification: [FindBugs|http://findbugs.sourceforge.net/], [Static Driver Verifier|http://msdn.microsoft.com/en-us/windows/hardware/gg487498.aspx], [Pex|http://research.microsoft.com/en-us/projects/pex/]
* Security analysis: NIST maintains a [list of source code security analyzers|http://samate.nist.gov/index.php/Source_Code_Security_Analyzers.html]


h2. Timeline & Resources

* [Timeline, example papers, etc.|https://docs.google.com/spreadsheets/d/1SkE6_KB-CmjYqwJoLcwnMA87MiTjHrfy_VWoENAVzS8/pubhtml]
** All deadlines (homework & project-related) are *on Monday* at 9 am.
* [Syllabus|https://www.uta.edu/profiles/christoph-csallner]
* [UTA Writing Center|http://www.uta.edu/owl/]
* [University Academic Calendar|http://www.uta.edu/uta/acadcal.php?session=20176]