CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
32
stars
11
forks
source link
Make sure no information fetched from secrets manager is logged #172
Open
tautschnig opened 3 weeks ago
Description of changes:
Use GitHub's log masking to ensure even tokens that do not match GitHub's default filter are replaced by asterisks.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.