- GitHub Staff
- Aarhus, Denmark
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 abusePinned
-
ni-formal-gc Public
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
-
-
2,233 contributions in the last year
Less
More
Activity overview
Contribution activity
February 2022
Created 18 commits in 1 repository
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
Opened 4 other pull requests in 1 repository
Reviewed 23 pull requests in 1 repository
github/codeql
23 pull requests
- C++: Fix Spelling Typos.
- C++: Add table that identifies C++ structured bindings
- C++: new query for insufficient key strength
- Spelling: Use "descendant" rather than "descendent" for consistency
- C++: Add initial DB scheme and qlpack file to downgrades directory
- C++: Remove some unused legacy relations from the DB scheme - Take 2
- C#: add externalData back to dbscheme
- QL: allow raw db types in upgrade/downgrade scripts
- C++: Remove some unused legacy relations from the DB scheme
- Upgrade scripts testing: set initial dbschemes
- C++: Improve cpp/system-data-exposure
- C++: Update C++ variable hiding test
- QL: Streamline qlpacks
- CPP: Fix performance for cpp/cleartext-transmission
- C/C++: Useless Test : verification of "Fully converted" Type
- Sign analysis for C++
- C++: fix IR generation for constructor base inits when no constructor is present.
-
C++: Add query for missing mode argument in
open/openatcalls - C++: Recognize password struct fields.
- Ruby: fix all QL-QL alerts
-
Data flow: Inline
local(Expr|Instruction)?(Flow|Taint) - Ruby: Add basic subclassing support to API Graphs
- C/C++ : Useless test
70
contributions
in private repositories
Feb 1 β Feb 22