Skip to content

Actions: tudo-aqua/spout

Actions

GraalVM Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a bug in DLOAD and correct math.pow and math.atan invocation GraalVM Gate #37: Commit 3e14379 pushed by mmuesly
November 22, 2024 21:03 3m 56s spout-22.2-jdk17
spout-22.2-jdk17
November 22, 2024 21:03 3m 56s
Fix the substitution annotations GraalVM Gate #36: Commit 143cb27 pushed by mmuesly
November 22, 2024 18:59 2m 15s spout-22.2-jdk17
spout-22.2-jdk17
November 22, 2024 18:59 2m 15s
Instrument Math.pow and Math.atan2 as well GraalVM Gate #35: Commit 165a490 pushed by mmuesly
November 22, 2024 17:26 3m 2s spout-22.2-jdk17
spout-22.2-jdk17
November 22, 2024 17:26 3m 2s
Instrument Math.pow and Math.atan2 as well GraalVM Gate #34: Commit 9aaf596 pushed by mmuesly
November 22, 2024 17:11 2m 47s spout-22.2-jdk17
spout-22.2-jdk17
November 22, 2024 17:11 2m 47s
Cut of Math methods form anaylsis and prepare for symoblic endcoding … GraalVM Gate #33: Commit 8358bf1 pushed by mmuesly
November 22, 2024 16:43 2m 20s spout-22.2-jdk17
spout-22.2-jdk17
November 22, 2024 16:43 2m 20s
re-enable stop analysis to avoid analyzing println calls GraalVM Gate #32: Commit d676c43 pushed by fhowar
November 21, 2024 20:39 2m 14s dse-ni
dse-ni
November 21, 2024 20:39 2m 14s
name vars for taint checks independently also for strings GraalVM Gate #31: Commit 3466a8b pushed by fhowar
November 21, 2024 20:04 2m 16s dse-ni
dse-ni
November 21, 2024 20:04 2m 16s
name vars for taint checks independently GraalVM Gate #30: Commit 8439fad pushed by fhowar
November 21, 2024 19:25 2m 8s dse-ni
dse-ni
November 21, 2024 19:25 2m 8s
missing edit GraalVM Gate #29: Commit d88746e pushed by fhowar
November 20, 2024 21:13 2m 18s dse-ni
dse-ni
November 20, 2024 21:13 2m 18s
symexe taint check GraalVM Gate #28: Commit cf42e99 pushed by fhowar
September 18, 2024 20:02 2m 6s dse-ni
dse-ni
September 18, 2024 20:02 2m 6s
Fix string modeling for springboot GraalVM Gate #27: Pull request #2 synchronize by fhowar
January 16, 2024 06:57 19m 3s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
January 16, 2024 06:57 19m 3s
some more invoke aspects GraalVM Gate #26: Commit 943ce39 pushed by fhowar
January 16, 2024 06:57 18m 9s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
January 16, 2024 06:57 18m 9s
Fix string modeling for springboot GraalVM Gate #25: Pull request #2 synchronize by fhowar
October 22, 2023 15:48 27m 30s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 22, 2023 15:48 27m 30s
more generic proposal for methods with concolic/taint models GraalVM Gate #24: Commit 9baf08c pushed by fhowar
October 22, 2023 15:48 28m 54s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 22, 2023 15:48 28m 54s
Fix string modeling for springboot GraalVM Gate #23: Pull request #2 synchronize by fhowar
October 17, 2023 19:43 31m 4s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 17, 2023 19:43 31m 4s
hook for methods invoked by reflection GraalVM Gate #22: Commit e68ae6d pushed by fhowar
October 17, 2023 19:43 26m 46s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 17, 2023 19:43 26m 46s
Fix string modeling for springboot GraalVM Gate #21: Pull request #2 synchronize by fhowar
October 11, 2023 07:53 40m 51s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 11, 2023 07:53 40m 51s
bugfixes and more implementation of heap walker GraalVM Gate #20: Commit dd694ea pushed by fhowar
October 11, 2023 07:53 33m 28s fix-string-modeling-for-springboot
fix-string-modeling-for-springboot
October 11, 2023 07:53 33m 28s