Activity · PHILIPPE Pierrick / GCC Plugin CT · GitLab

Mentions légales du service

Snippets Groups Projects

7 months ago

PHILIPPE Pierrick @pphilipp

pushed to branch secret-in-compilers at PHILIPPE Pierrick / GCC Plugin CT

b26aab7d · POC: taint attribute on function

9 months ago

PHILIPPE Pierrick @pphilipp

pushed to branch secret-in-compilers at PHILIPPE Pierrick / GCC Plugin CT

81d471a9 · WIP: on going tests with __is_tainted() as sink instead of conditions

9 months ago

PHILIPPE Pierrick @pphilipp

pushed to branch secret-in-compilers at PHILIPPE Pierrick / GCC Plugin CT

6fa5c4ec · Fixed (hopefully): Crash when looking for rvalue of calling frame v...

9 months ago

PHILIPPE Pierrick @pphilipp

pushed to branch master at PHILIPPE Pierrick / GCC Plugin CT

6fa5c4ec · Fixed (hopefully): Crash when looking for rvalue of calling frame v...

10 months ago

PHILIPPE Pierrick @pphilipp

pushed new branch secret-in-compilers at PHILIPPE Pierrick / GCC Plugin CT

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch master at PHILIPPE Pierrick / GCC Plugin CT

0147b7bd · Global vars handled + output of the problem not using svalue anymor...
... and 11 more commits. Compare b43c5f99...0147b7bd

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

0147b7bd · Global vars handled + output of the problem not using svalue anymor...

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

885faf28 · Fix a potential issue on integer_cst handling for mem_ref with ptr ...

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

0e48c415 · Fix a crash when considering a poisoned_svalue on a mem_ref op (e.g...

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

fe03f327 · Modified README

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

35c7fa30 · Modified the deletion of the taint in case of pointers being assign...

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

47649eac · Updating submodules for gcc

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

71664aab · Handling return for interprocedural call

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

a1ab161b · Cleaning state of local variables in the smap in on_pop_frame()

1 year ago

PHILIPPE Pierrick @pphilipp

pushed new branch interprocedural-dev at PHILIPPE Pierrick / GCC Plugin CT

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch master at PHILIPPE Pierrick / GCC Plugin CT

b43c5f99 · Fixing a bug on pointers.
... and 1 more commit. Compare 4de9dd9c...b43c5f99

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch array_pointer_aliasing_cleaning at PHILIPPE Pierrick / GCC Plugin CT

b43c5f99 · Fixing a bug on pointers.

1 year ago

PHILIPPE Pierrick @pphilipp

pushed new branch array_pointer_aliasing_cleaning at PHILIPPE Pierrick / GCC Plugin CT

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch master at PHILIPPE Pierrick / GCC Plugin CT

4de9dd9c · Adding some tests for loop, pointer and array/pointer aliasing

1 year ago

PHILIPPE Pierrick @pphilipp

pushed to branch master at PHILIPPE Pierrick / GCC Plugin CT

2091c57a · Correctly handling arrays/pointer aliasing.
... and 1 more commit. Compare 81fcdc23...2091c57a