2 * Copyright (c) 2007 Michael Niedermayer
4 * This file is part of FFmpeg.
6 * FFmpeg is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
11 * FFmpeg is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with FFmpeg; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
25 static uint32_t state;
26 static uint32_t ran(void)
28 return state = state * 1664525 + 1013904223;
31 int main(int argc, char **argv)
34 int count, maxburst, length;
37 printf("USAGE: trasher <filename> <count> <maxburst> <seed>\n");
41 f = fopen(argv[1], "rb+");
46 count = atoi(argv[2]);
47 maxburst = atoi(argv[3]);
48 state = atoi(argv[4]);
50 fseek(f, 0, SEEK_END);
52 fseek(f, 0, SEEK_SET);
55 int burst = 1 + ran() * (uint64_t) (abs(maxburst) - 1) / UINT32_MAX;
56 int pos = ran() * (uint64_t) length / UINT32_MAX;
57 fseek(f, pos, SEEK_SET);
62 if (pos + burst > length)
66 int val = ran() * 256ULL / UINT32_MAX;
71 fwrite(&val, 1, 1, f);