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 95 11
Hook Public

Lightweight API hooking framework for the Windows API

C++ 27 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

4,898 contributions in the last year

Learn how we count contributions

Activity overview

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

Contribution activity

May 2023

Created 108 commits in 1 repository

github/codeql 108 commits

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

C++: Fix pointer/pointee conflation

This PR fixes the conflation identified in #13182. Turns out the problem was something we've actually seen before. Consider this code void incremen…

+33 −45 • 17 comments

Opened 30 other pull requests in 1 repository

github/codeql 5 open 24 merged 1 closed

C++: Change range-analysis test to not use getAst May 25
C++: Fix result duplication on DefaultTaintTracking May 25
C++: Promote cpp/overrun-write out of experimental May 23
C++: Modernize PrintIR for local dataflow May 23
C++: Fix more pointer/pointee conflation May 23
C++: Promote the product-dataflow library out of experimental May 22
C++: Add FP testcase for cpp/overrun-write May 19
C++: Quotient dataflow nodes by an equivalence relation May 18
C++: Replace C18 with C17 in documentation May 18
C++: Small cleanup of cpp/overrun-write May 18
C++: Update documentation for TypeMention May 18
C++: Reduce memory pressure from getInstruction May 17
C++: Add example with conflation in dataflow May 16
Swift: Recommend a proper source of randomness in swift/hardcoded-key May 16
C++: Block flow through back-edges in cpp/overrun-write May 12
C++: Restrict flow-state space of cpp/overrun-write May 12
C++: Speedup product dataflow May 12
Swift: Make DoCatchTree more precise May 10
C++: Cleanup CallAllocationExprBase with module signature members May 10
C++: Use heuristic allocation functions in cpp/overrun-write May 10
C++: Add FP for cpp/overrun-write May 9
C++: Add QLDoc to getOverflow May 9
C++: Remove self edges May 5
C++: Only one alert message per alert on cpp/overrun-write May 4
C++: Work around poor codegen for forex in IR-based range analysis May 4
Some pull requests not shown.

Reviewed 58 pull requests in 1 repository

github/codeql 25 pull requests

C++: Fix result duplication on DefaultTaintTracking May 25
Swift: Promote some Data models to DataProtocol May 25
Swift: remove some AST and CFG inconsistencies May 25
C++: fix equality refinement in new range analysis May 24
Swift: Add path injection sinks for sqlite3 and SQLite.swift May 24
Swift: add CFG and PrintAst consistency queries, enabling them in CI May 24
C++/Swift: Rewrite inline expectation tests to use the parameterized module May 24
C++: Add cpp/invalid-pointer-deref FP test case May 24
C++: Promote the product-dataflow library out of experimental May 23
C++: Rewrite flow test common to use inline expectation test module May 23
Swift: make only certain elements hideable in the AST May 23
Swift: Make the cleartext logging query consistent with other cleartext-* queries. May 23
C++: stitch paths and ignore cast arrays in constant off-by-one query May 22
C++: Include inline namespaces in StdNamespace May 22
Swift: remove unneeded properties from InterpolatedStringLiteralExpr May 22
Swift: Add EnumDecl.getEnumElement(_) May 22
C++: Add cpp/invalid-pointer-deref false positives May 22
Swift: Use asNominalTypeDecl more. May 19
Swift: Drop support for plaintext diagnostics (and helpLinks). May 19
Swift: Taint model for FilePath May 19
CPP: Add query for CVE-2022-37454: Integer addition may overflow inside if statement May 19
C++: Update documentation for TypeMention May 18
C++: Fix pointer/pointee conflation May 17
Misc: Add script to accept .expected changes from CI May 17
Swift: bump all versions to 0.1.0 May 17
Some pull request reviews not shown.

199 contributions in private repositories May 2 – May 25