MathiasVP Follow

Mathias Vorreiter Pedersen MathiasVP

Follow

32 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,337 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 4 other repositories

Contribution activity

March 2022

Created 68 commits in 1 repository

github/codeql 68 commits

Created 1 repository

MathiasVP/swift C++ Mar 3

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

C++: Use a `TaintTracking::Configuration` in three more queries

Initially, I was also going to modernize the sanitizers used in the three queries, but I realized that this code should be changed anyway once we m…

+321 −179 • 29 comments

Opened 10 other pull requests in 1 repository

github/codeql 1 open 8 merged 1 closed

Reviewed 41 pull requests in 1 repository

github/codeql 41 pull requests

Add query for double-fetch vulnerability Mar 23
C++: Fix expensive getWideCharType(). Mar 23
C++: Use flow states in cpp/command-line-injection Mar 23
C++: generate IR for global variables with initializers Mar 22
C++: Consider columns in Location.isBefore Mar 22
C++: Make getUnderlyingType nomagic Mar 22
Fix dead link in CONTRIBUTING.md Mar 21
Release preparation for version 2.8.4 Mar 21
Sign, Modulus, and Range analysis for C++ using sharable semantic layer Mar 21
Dataflow: Flow-state changing steps should always be in path explanations Mar 18
Dataflow: Flow-state changing steps should always be in path explanations Mar 17
QL: expand redundant-inline-cast, and rename to redundant-cast Mar 17
JS: add missing @security-severity to JS queries Mar 16
QL: detect unqueryable code Mar 16
Detection reduction on request Mar 15
C++: fix hasImplicitCopyConstructor for templates Mar 15
Delete dead code Mar 15
renaming more upper-case acronyms to PascalCase Mar 15
C++: New query cpp/potential-system-data-exposure Mar 15
Added MissingSecurityMetadata query Mar 15
C++: Use a TaintTracking::Configuration in three more queries Mar 15
Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard Mar 15
C++: Fix join in cpp/return-stack-allocated-memory Mar 14
Extend taint tracking interface with flow states Mar 14
QL: make a query checking for edges relation in a path-problem query Mar 11
Some pull request reviews not shown.

92 contributions in private repositories Mar 1 – Mar 23