https://github.com/se2p/software-analysis-examples
Examples from the Software Analysis class
https://github.com/se2p/software-analysis-examples
Last synced: 3 months ago
JSON representation
Examples from the Software Analysis class
- Host: GitHub
- URL: https://github.com/se2p/software-analysis-examples
- Owner: se2p
- License: other
- Created: 2021-05-13T05:32:06.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2021-05-14T06:13:05.000Z (about 5 years ago)
- Last Synced: 2025-01-01T18:36:34.622Z (over 1 year ago)
- Language: Python
- Size: 37.1 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.rst
Awesome Lists containing this project
README
# Software Analysis Examples
Contains examples from the course on Software Analysis at the
[University of Passau](https://www.uni-passau.de). The examples are mainly toy
examples to visualise a certain aspect during the course. They are *not* meant to
be complete or perfect; they also do not necessarily meet a certain level of style
or code quality!
Feel free to fork this repository and file a pull request to add further examples.
## The Examples
* `ast_example` provides an AST visitor and an AST rewriter based on Python's AST
module. It is using the [`astor`](https://astor.readthedocs.io) library to
extract source code from the AST again.
* `controldependencies` is an implementation of control-flow graph, dominator and
post-dominator tree, and control-dependence graph based on Python bytecode. It
emits Graphviz DOT files of the graphs and automatically converts them to PNG.
Make sure you have the `dot` utility installed and available on your `PATH`.
* `mocking` together with its test module shows some aspects of how to use mocking
in Python.