
* 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]