MathiasVP

Follow

Mathias Vorreiter Pedersen MathiasVP

Follow

38 followers · 6 following

GitHub Staff
Cambridge, United Kingdom
https://mathias.website/

Achievements

BetaSend feedback

Achievements

BetaSend feedback

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 93 10
Hook Public

Lightweight API hooking framework for the Windows API

C++ 28 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 9 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,800 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to github/codeql, github/codeql-go, github/vscode-codeql-starter and 8 other repositories

Contribution activity

February 2023

Created 13 commits in 2 repositories

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

C++: Teach iterator flow about `std::back_inserter`

Turns out that we had hardcoded the container -> iterator function to receive the container via the qualifier object, when in reality it may very w…

+18 −73 • 5 comments

Opened 8 other pull requests in 2 repositories

github/codeql 7 merged

C++: Better discrimination for union Contents Feb 14
C++: Use Content approximation Feb 14
C++: Fix node types Feb 14
C++: Fix spurious flow-through Feb 10
C++: Deduplicate OutNodes Feb 9
C++: Avoid unnecessary calls to toLowerCase() Feb 7
C++: Replace toUpperCase().matches("...") with case-insensitive regexpMatch Feb 6

github/vscode-codeql-starter 1 merged

Update CodeQL submodule Feb 8

Reviewed 23 pull requests in 1 repository

github/codeql 23 pull requests

C++: use explicit models for reverse flow Feb 14
C++: Update test annotations for use-use dataflow Feb 14
C++: Fix node types Feb 14
C++: Add semmle.code.cpp.dataflow.new Feb 13
C++: Fix spurious flow-through Feb 10
C++: Remove experimental copy of the use-use IR dataflow library Feb 10
Swift: control flow for #available Feb 10
Swift: case let dataflow Feb 10
C++: Revert semmle.code.cpp.dataflow to its old state Feb 10
C++: Do not mark global indirect flow as spurious in dataflow tests Feb 10
C++: Map operand nodes that are only used once onto the related instruction node Feb 9
C++: allow read steps at the sink in IR taint test Feb 8
Swift: Move some models into collections Feb 8
Post-release preparation for codeql-cli-2.12.2 Feb 7
Swift: extract availability info Feb 7
C++: Replace toUpperCase().matches("...") with case-insensitive regexpMatch Feb 6
C++: Fix some typos in the use-use dataflow code Feb 6
Dataflow: Fix join in fwdFlowRead (take 2) Feb 6
Post-release preparation for codeql-cli-2.12.2 Feb 4
C++: Flow out of writes to iterators Feb 3
C++: Use-use flow through global variables Feb 3
Swift: Extract Closure Captures Feb 2
C++: Fix join order in cpp/missing-check-scanf Feb 2

51 contributions in private repositories Feb 2 – Feb 14