GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → wei-le → programanalysiscourse

wei-le / programanalysiscourse

Licence: MIT License
COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University

Programming Languages

c
50402 projects - #5 most used programming language

Labels

debuggingcourseprogram-analysisfinding-bugstest-input-generationspecification-inferencesoftware-changes-versionsbig-code-analysisanalyzing-ai-software

Projects that are alternatives of or similar to programanalysiscourse

surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
Stars: ✭ 14 (-26.32%)
Mutual labels:  debugging, program-analysis
Rizin
UNIX-like reverse engineering framework and command-line toolset.
Stars: ✭ 673 (+3442.11%)
Mutual labels:  debugging, program-analysis
courses
Grand Theft Bike V - Courses
Stars: ✭ 27 (+42.11%)
Mutual labels:  course
tracehash
Compress long exception traces down to short signatures
Stars: ✭ 20 (+5.26%)
Mutual labels:  debugging
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (+52.63%)
Mutual labels:  program-analysis
wirebug
Toggle Wi-Fi debugging on Android without a USB cable (needs root)
Stars: ✭ 33 (+73.68%)
Mutual labels:  debugging
intro-to-python
An Introduction to Programming in Python
Stars: ✭ 57 (+200%)
Mutual labels:  course
injectURLProtocol
cycript script for injecting a custom NSURLProtocol into a running application
Stars: ✭ 25 (+31.58%)
Mutual labels:  debugging
nvim-dap-python
An extension for nvim-dap, providing default configurations for python and methods to debug individual test methods or classes.
Stars: ✭ 70 (+268.42%)
Mutual labels:  debugging
es6-debug-webstorm
How to debug ES6 in Webstorm (using gulp)
Stars: ✭ 60 (+215.79%)
Mutual labels:  debugging
typescript-ddd-course
🔷🔖 TypeScript DDD Course: Learn Domain-Driven Design in TS lesson by lesson
Stars: ✭ 28 (+47.37%)
Mutual labels:  course
jquery-manager
Manage jQuery and jQuery Migrate on a WordPress website, activate a specific jQuery and/or jQuery Migrate version. The ultimate jQuery debugging tool for WordPress
Stars: ✭ 27 (+42.11%)
Mutual labels:  debugging
Code-Trouble
No description or website provided.
Stars: ✭ 14 (-26.32%)
Mutual labels:  debugging
SEU-NewCourseElection-Helper
东南大学抢课助手。适配2021版选课系统。脚本仅用于捡漏，虽然理论上也可以抢课，但至少，我自己是不敢尝试的😋。本脚本仅供 SEU er 学习交流使用，出啥问题的话俺一概不负责任
Stars: ✭ 19 (+0%)
Mutual labels:  course
Curso-Deep-Learning
Curso de Deep Learning desde las bases de Python, Fundamentos del Machine Learning, Fundamentos Matematicos del ML y DL, Redes Neuronales construidas desde cero hasta poner tu modelo a producción con Tensorflow
Stars: ✭ 13 (-31.58%)
Mutual labels:  course
ycecream
Sweeter debugging and benchmarking Python programs.
Stars: ✭ 38 (+100%)
Mutual labels:  debugging
illustrated-python-3-course
Course materials and handouts for Python 3, an illustrated tour course
Stars: ✭ 60 (+215.79%)
Mutual labels:  course
caddy-trace
Request Debugging Middleware Plugin for Caddy v2
Stars: ✭ 25 (+31.58%)
Mutual labels:  debugging
MLClass
Introduction to Machine Learning class taught at ISU, Fall 2020 to Spring 2021
Stars: ✭ 23 (+21.05%)
Mutual labels:  course
cefet-web
Aulas da disciplina de Programação Web no CEFET/MG
Stars: ✭ 12 (-36.84%)
Mutual labels:  course
View All Similar Projects ➔

COM S 413/513 and CPR E 513 @ Iowa State University Foundations and Applications of Program Analysis

Instructor

Wei Le ([email protected]), Atanasoff 210

Office hours: 4-5:30pm Thursdays Spring 2021, iastate.webex.com/meet/weile

Tentative Schedule and Topics

  1. finding bugs (control flow analysis, dataflow analysis, pointer analysis, interprocedural analysis, abstract interpretation)

  2. automatic test input generation (symbolic execution, fuzzing)

  3. debugging and repair (dependency analysis, slicing, delta-debugging, search based algorithms)

  4. analyzing software changes and versions (mvicfg, differential analysis, testing and debugging changes, change contract)

  5. specification inference (dynamic analysis, invariants, typestate)

  6. big code analysis (code embedding, code search, machine learning for code)

  7. analyzing and testing AI software (SE for ML)

Acknowledgment

This course is developed under the support of the National Science Foundation (NSF) under Award 1542117

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].