Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
 help / color / mirror / Atom feed
* [FFmpeg-devel] [OSS-Fuzz] Have you considered enabling memory sanitizer?
@ 2024-06-26 19:07 Kacper Michajlow
  2024-06-26 22:45 ` Michael Niedermayer
  0 siblings, 1 reply; 18+ messages in thread
From: Kacper Michajlow @ 2024-06-26 19:07 UTC (permalink / raw)
  To: FFmpeg development discussions and patches

Hi,

Like in the topic. I think it would be useful to enable MSAN on
OSS-Fuzz. We get some tiny issues and it would be probably good to
have them tracked upstream. All infra is here, so enabling it is as
simple as adding it to the project.yaml. Except libbz2.so and libz.so
would have to be built inline instead, looking at the build.sh, they
are prebuilt. The rest should just work (TM), but needs to be tested.
You can set an "experimental' flag to have it not create issues on
monorail, initially.

Thanks,
Kacper

diff --git a/projects/ffmpeg/project.yaml b/projects/ffmpeg/project.yaml
index fe510402f..7aba17cc5 100644
--- a/projects/ffmpeg/project.yaml
+++ b/projects/ffmpeg/project.yaml
@@ -12,6 +12,10 @@ auto_ccs:
- "twsmith@mozilla.com"
- "kempfjb@gmail.com"
- "jordyzomer@google.com"
+sanitizers:
+ - address
+ - memory
+ - undefined
fuzzing_engines:
- afl
- honggfuzz
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".

^ permalink raw reply	[flat|nested] 18+ messages in thread

end of thread, other threads:[~2024-07-17 13:16 UTC | newest]

Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-26 19:07 [FFmpeg-devel] [OSS-Fuzz] Have you considered enabling memory sanitizer? Kacper Michajlow
2024-06-26 22:45 ` Michael Niedermayer
2024-06-27  0:50   ` Kacper Michajlow
2024-07-13 21:12     ` Kacper Michajlow
2024-07-14 19:55       ` Michael Niedermayer
2024-07-15 11:32         ` Kacper Michajlow
2024-07-16 12:14           ` Michael Niedermayer
2024-07-17  0:16             ` Kacper Michajlow
2024-07-17  9:54             ` Anton Khirnov
2024-07-17 12:22               ` Nicolas George
2024-07-17 12:26                 ` Vittorio Giovara
2024-07-17 12:39                   ` Nicolas George
2024-07-17 13:15                     ` Vittorio Giovara
2024-07-15 12:36         ` Vittorio Giovara
2024-07-16 12:25           ` Michael Niedermayer
2024-07-16 13:18             ` Andrew Sayers
2024-07-16 18:52             ` Vittorio Giovara
2024-07-15 13:01         ` epirat07

Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://master.gitmailbox.com/ffmpegdev/0 ffmpegdev/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 ffmpegdev ffmpegdev/ https://master.gitmailbox.com/ffmpegdev \
		ffmpegdev@gitmailbox.com
	public-inbox-index ffmpegdev

Example config snippet for mirrors.


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git