 SpecuCheck
 SpecuCheck 
 Mitigation inspector
 Utility to inspect CPU and hardware mitigations against specific security vulnerabilities.
SpecuCheck is a Windows utility for checking the state of the software mitigations and hardware against CVE-2017-5754 (Meltdown), CVE-2017-5715 (Spectre v2), CVE-2018-3260 (Foreshadow), and CVE-2018-3639 (Spectre v4)
568 stars
 52 watching
 82 forks
 
Language: C 
last commit: almost 6 years ago 
Linked from   1 awesome list  
  cpuintelbuginternalskaiserkernelkptimeltdownspectrewindows 
 Related projects:
| Repository | Description | Stars | 
|---|---|---|
|  | A tool to detect and analyze Spectre vulnerabilities in software applications | 30 | 
|  | Exploits a vulnerability in outdated Shockwave Flash player to gain control of Internet Explorer and execute malicious code. | 87 | 
|  | A resource providing guidance on securing hardware and firmware against various vulnerabilities. | 779 | 
|  | A tool for inspecting and modifying kernel-mode code on Windows systems with limited privileges. | 29 | 
|  | An example of using the Spectre vulnerability to demonstrate out-of-bounds memory reads and cache leakage | 757 | 
|  | Analyzes firmware vulnerabilities using concolic analysis and function clustering | 472 | 
|  | A proof-of-concept Windows kernel-mode rootkit designed to demonstrate legitimate communication channel exploitation for remote control. | 685 | 
|  | A command-line tool for remote forensic acquisition and analysis of block devices via iSCSI protocol. | 39 | 
|  | A tool for identifying potential vulnerability points in Linux systems | 1,590 | 
|  | A tool for writing and validating temporal logic specifications of software behavior | 174 | 
|  | Identifies security flaws in software projects through static code analysis | 1,154 | 
|  | A tool for detecting common bugs in binary executables. | 1,155 | 
|  | Automates vulnerability scanning of Docker images at build time | 10 | 
|  | Detects misconfigurations and vulnerabilities in software supply chains during build pipelines. | 239 | 
|  | An optimizer for stack VM compilers that reduces the number of executable instructions in compiled code | 25 |