MathiasVP Follow

Mathias Vorreiter Pedersen MathiasVP

Follow

30 followers · 6 following

GitHub Staff
Aarhus, Denmark

Achievements

Achievements

Highlights

5 discussions answered

Block or Report

Block or report MathiasVP

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

CS Public

Counter-Strike implementation in JavaScript

JavaScript 84 10
Hook Public

Lightweight API hooking framework for the Windows API

C++ 24 23
Parse Public

Compile time (LR) parser generator for C++

C++ 7 3
ni-formal-gc Public

Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.

Coq 7 4
idris-regex Public

Verified implementation of Brzozowski derivatives in Idris

Idris 8 1
ql Public

Forked from github/codeql

The libraries and queries that power CodeQL and LGTM.com

CodeQL

2,248 contributions in the last year

Learn how we count contributions

Less More

Activity overview

Contributed to github/codeql, dsp-testing/samate-c-cpp, github/securitylab and 5 other repositories

Contribution activity

February 2022

Created 10 commits in 1 repository

github/codeql 10 commits

Created a pull request in github/codeql that received 4 comments

C++: Fix re-evaluation in `cpp/return-stack-allocated-memory`

We were, once again, hit by the IR re-evaluation problem because we didn't import semmle.code.cpp.valuenumbering.GlobalValueNumbering before we imp…

+3 −0 • 4 comments

Reviewed 13 pull requests in 1 repository

github/codeql 13 pull requests

C++: Improve cpp/system-data-exposure Feb 10
C++: Update C++ variable hiding test Feb 10
QL: Streamline qlpacks Feb 9
CPP: Fix performance for cpp/cleartext-transmission Feb 9
C/C++: Useless Test : verification of "Fully converted" Type Feb 7
Sign analysis for C++ Feb 4
C++: fix IR generation for constructor base inits when no constructor is present. Feb 4
C++: Add query for missing mode argument in open/openat calls Feb 3
C++: Recognize password struct fields. Feb 2
Ruby: fix all QL-QL alerts Feb 2
Data flow: Inline local(Expr|Instruction)?(Flow|Taint) Feb 2
Ruby: Add basic subclassing support to API Graphs Feb 1
C/C++ : Useless test Feb 1

35 contributions in private repositories Feb 1 – Feb 11