Compare commits
2 Commits
937a36aad1
...
2808afda0d
Author | SHA1 | Date |
---|---|---|
Achim D. Brucker | 2808afda0d | |
Achim D. Brucker | 0674e6abdb |
|
@ -90,6 +90,12 @@ Main contact: [Achim D. Brucker](http://www.brucker.ch/)
|
|||
|
||||
This project is licensed under the Eclipse Public License 1.0.
|
||||
|
||||
## Master Repository
|
||||
|
||||
The master git repository for this project is hosted by the [Software
|
||||
Assurance & Security Research Team](https://logicalhacking.com) at
|
||||
<https://git.logicalhacking.com/DASCA/DASCA>.
|
||||
|
||||
## Publications
|
||||
|
||||
* Achim D. Brucker and Michael Herzberg. [On the Static Analysis of
|
||||
|
|
|
@ -1 +1 @@
|
|||
Subproject commit 209c616622d7e0d661ac287b56f6702b3e3f79cb
|
||||
Subproject commit 0d650be53438e1c7d604e6af1316338ee01a74d6
|
Loading…
Reference in New Issue