https://github.com/wayandway/spa

👾 STEALIEN SSL : Static Program Analysis for Black-Box Vulnerability Discovery
https://github.com/wayandway/spa

security static-analysis

Last synced: 6 months ago
JSON representation

👾 STEALIEN SSL : Static Program Analysis for Black-Box Vulnerability Discovery

• Host: GitHub
• URL: https://github.com/wayandway/spa
• Owner: wayandway
• Created: 2022-09-07T12:24:51.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-07-25T16:23:52.000Z (almost 2 years ago)
• Last Synced: 2025-02-08T18:27:28.163Z (over 1 year ago)
• Topics: security, static-analysis
• Homepage:
• Size: 2.61 MB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## SPA for Black-Box VD

`Static Program Analysis for Black-Box Vulerability Discovery` 


스틸리언 SSL 연구과제 정리 





## Chapter

**01 [Introduction](https://github.com/waeandway/SPA/blob/master/Chapter/01.md)** 


**02 [A Tiny Imperative Programming Language](https://github.com/waeandway/SPA/blob/master/Chapter/02.md)** 


**03 [Type Analysis](https://github.com/waeandway/SPA/blob/master/Chapter/03.md)** 


**04 [Lattice Theory](https://github.com/waeandway/SPA/blob/master/Chapter/04.md)**