Repository navigation

major updates - #32

Open

rurban wants to merge 533 commits into

smart-tool:masterfrom

rurban:master

Open

major updates#32
rurban wants to merge 533 commits into
smart-tool:masterfrom
rurban:master

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 24, 2024
- textgen: more printable chars. rand256
  rurban
  committed
  45ec7a7
- add tsa-q2 asserts
  rurban
  committed
  6962082
- test: default m=16 with data
  rurban
  committed
  5bb7385
- gg fails
  rurban
  committed
  672ea98
- test: loop over pattern sizes without m arg
  rurban
  committed
  af0be5a
- fix ffs, lfs crashes, same cause as hor
  rurban
  committed
  8ef2b56
Commits on Mar 25, 2024
- unified defines, check illegal m
  rurban
  committed
  2834cf3
- sanitizer.log: new sbndm-w6 errors
  rurban
  committed
  a32c305
- tsa-q2: fix uninit B[] stack-buffer-overflows
  rurban
  committed
  ffbf3b8
Commits on Mar 26, 2024
- tso5: fix wrong B[] init, add asserts
  rurban
  committed
  8e97d11
- tso5: fixed most out-of bounds accesses
  rurban
  committed
  ca945e4
- tsa: fix wrong B[] init, add asserts
  rurban
  committed
  af57a13
- sanitizer.sh: use all m, not just 2
  rurban
  committed
  99fea2c
- asan: re-test bsdm, only bsdm4 fails
  rurban
  committed
  64e64d4
- fix bxs* overflows
  rurban
  committed
  f6b5131
- asan: enable various stable algos
  rurban
  committed
  7b4d819
Commits on Mar 27, 2024
- WIP fsbndm-w1 fix overflows
  rurban
  committed
  99ddc72
Commits on Mar 28, 2024
- fix fsbndm-w1 tests
  rurban
  committed
  95a0db1
Commits on Mar 29, 2024
- fix DEBUG support
  rurban
  committed
  34ed42d
- ensure zero-termination on P and T
  rurban
  committed
  0d78a22
- fix out-of-bounds in sbndm-w2,4 and add asserts
  rurban
  committed
  f7012e7
- improve cbmc verify
  rurban
  committed
  8870ef5
- verify: announce MIN_M minlen limits for CBMC
  rurban
  committed
  0969ad7
- gh verify only 6 randomly
  rurban
  committed
  0af219f
- add verify.log
  rurban
  committed
  6053757
Commits on Mar 30, 2024
- raiti verif
  rurban
  committed
  6aa93d3
- fix raita constraints m>=2
  rurban
  committed
  704e8c4
- libc: improve buffer-overflows
  rurban
  committed
  44161cd
- test: fix leaks
  rurban
  committed
  2c814cb
- gh: extend to 10 tests,
  rurban
  committed
  8e20c3c
- add algocfg helper
  rurban
  committed
  be9e85c
Commits on Mar 31, 2024
- verify: bsdm7 times out in the CI
  rurban
  committed
  2357b9d
- ~0; => ~0U;
  rurban
  committed
  5c5781d
- add afl-plus fuzzing
  rurban
  committed
  c9cfe72
- add afl-plus fuzzing
  rurban
  committed
  d30398c
- split verify in extra targets
  rurban
  committed
  41aa87e
- verify: improve bf depth UNSATISFIABLE
  rurban
  committed
  4b060bf
- vfy tuning: find mp cbmc args
  rurban
  committed
  015a2d9
- verify: find smoa violations
  rurban
  committed
  3f29334
- asan: fix tso5 overflows + assertions
  rurban
  committed
  dbb34bb
- asan: bndmq6 fails
  rurban
  committed
  e724819
- results: fix 2 missing html js includes
  rurban
  committed
  2df75ce
- asan: tvsbs-w2 RNDCRASH
  rurban
  committed
  5e8baad
- verify: ildm2 timeout
  rurban
  committed
  347d187
- asan: musl fails very long rand tests (m=1024)
  rurban
  committed
  9ff7f70
- add new paragraphs to the README
  rurban
  committed
  cb59a8a
- fix faoso*: wrong log2 for 64bit
  rurban
  committed
  ffa42bc
- bxs*: fix overflows and add assertions
  rurban
  committed
  92a79ee
- new vfy fails
  rurban
  committed
  c969708
Commits on Apr 1, 2024
- bndm: fix search_large, use OUTPUT
  rurban
  committed
  807197c
- bxs: fix overflows
  rurban
  committed
  e4799df
- add missing MIN_M for cbmc
  rurban
  committed
  b8cc207
- add new qf53,qf72,qf82 from the ostafen fork
  rurban
  committed
  a6ec3fb
- verify: update some results
  rurban
  committed
  02e8b63
- add new bram3,5,7 from the ostafen fork
  rurban
  committed
  0f982d5
- remove duplicate and broken TunBM
  rurban
  committed
  91f5ce0
- verify: bww times out in the GH CI
  rurban
  committed
  ebd474f
- re-enable now passing algos
  rurban
  committed
  ef33f78
Commits on Apr 2, 2024
- READNE: add Benchmarks links
  rurban
  committed
  6536c73
- smart: add option -all
  rurban
  committed
  13c91b5
- make fmt (clang-format)
  rurban
  committed
  76e83ca
- hash3-8: search_small fallbacks
  rurban
  committed
  14cce0f
- reorder best algos
  rurban
  committed
  90fcbfb
- SHMDEBUG to find the shm error
  rurban
  committed
  6947886
- fix shmalloc
  rurban
  committed
  a07e50d
- add istty check via CI env var
  rurban
  committed
  fc99022
- add istty check to compilesm also
  rurban
  committed
  68bd195
- add istty check to textgen also
  rurban
  committed
  ff0d14a
Commits on Apr 3, 2024
- update lint results
  rurban
  committed
  e905f93
- use lint results
  rurban
  committed
  a3ed635
- html2: prepend   to -
  rurban
  committed
  15e94e2
- remove unused results/prova
  rurban
  committed
  06f61eb
- remove alert([LINE] You have negative values...
  rurban
  committed
  b62dba3
- rgraph: switch from local to cdnjs
  rurban
  committed
  c763fda
- select: implement -backup -restore
  rurban
  committed
  103035e
- add all.sh best.sh scripts
  rurban
  committed
  7e5d7af
- select: implement numbered backups
  rurban
  committed
  2805e6a
- output whitespace only
  rurban
  committed
  fa871f5
- more output whitespace
  rurban
  committed
  4fc50f3
- search_large for twfrq2,4 m>512
  rurban
  committed
  126d783
- verify: skip failing algos
  rurban
  committed
  1382991
Commits on Apr 4, 2024
- more algocfg usage
  rurban
  committed
  94f5e8f
- select: silence unchecked system calls
  rurban
  committed
  2741c44
- update sanitizer.log
  rurban
  committed
  c6f5ff8
- smart: implement -plen 2:4:64 support
  rurban
  committed
  d546078
- adjust good, asan
  rurban
  committed
  b700f14
- verify: skip unwind for all TIMEOUT, UNSAT
  rurban
  committed
  6de2a6b
- more verify args
  rurban
  committed
  9738210
- update verify.log
  rurban
  committed
  5809415
- verify results
  rurban
  committed
  03667d3
- output: index.html
  rurban
  committed
  cc45b43
- better best20 candidates
  rurban
  committed
  e338164
Commits on Apr 5, 2024
- all/best minor script improvements
  rurban
  committed
  fed2160
- html: 18k smaller size
  rurban
  committed
  46cb0a6
- output: fix bound (best-worst) mixups
  rurban
  committed
  049a43a
- smart: ISO 8601 date formatting
  rurban
  committed
  7964b0e
- fix fsbndm-w2 asserts
  rurban
  committed
  bd93bf0
- macos: 15m timeout
  rurban
  committed
  90eab5f
- some sbndm-w fixes
  rurban
  committed
  323149c
- verify: add goto-analyzer cross-analyzation step
  rurban
  committed
  456ff5c
- fuzz: create testcases from the crashes
  rurban
  committed
  3ee2ca5
- select: -Wunused-result
  rurban
  committed
  a8dd4e5
Commits on Apr 6, 2024
- select: one more -Wunused-result missing
  rurban
  committed
  ee13fd7
- test: add one of the fuzzer testcases for NUL-safety
  rurban
  committed
  76c576c
- more algocfg deps
  rurban
  committed
  b476536
- asan tests runs too long now
  rurban
  committed
  2ddb1ea
Commits on Apr 8, 2024
- goto-analyzer: -DCMBC for the constraints
  rurban
  committed
  2a50792
- fixed fs-w4 overflows
  rurban
  committed
  66189f1
- fix fs-w2 overflows and logic
  rurban
  committed
  e12555a
- fix fs-w1 overflows
  rurban
  committed
  83c91b3
- fs-w6,8: WIP asan
  rurban
  committed
  14bb595
- make: darwin BINDIR fixes
  rurban
  committed
  acf18ac
- add musl2, variant with horspool skip
  rurban
  committed
  585edfb
Commits on Apr 12, 2024
- more -DDEBUG support
  rurban
  committed
  48de73a
- sbndmq8: add asserts
  rurban
  committed
  b3c370f
Commits on Oct 31, 2024
- fix algocfg crash with algo arg only
  rurban
  committed
  f4a82ba
- vfy: cbmcargs
  rurban
  committed
  f7805a0
- vfy: implement solver flags
  rurban
  committed
  a390903
Commits on Nov 1, 2024
- vfy: try full proof with no depth bounds
  rurban
  committed
  1e8fd3e
- deps
  rurban
  committed
  38a65be
- cbmc: pass --verbosity 7 for older cmbc 5.12
  rurban
  committed
  0e69a6c
Commits on Nov 2, 2024
- vfy: more cmbc opts in my github
  rurban
  committed
  438fa4b
Commits on Nov 3, 2024
- vfy: fix by inlining all sizes
  rurban
  committed
  277bc9c
- add more MIN_M,MAX_M boundaries
  rurban
  committed
  1bdec08
Commits on Nov 4, 2024
- fuzz: extend fuzz repro
  
  rurban
  authored and
  Reini Urban
  committed
  fe11a51
- test: support --files
  Reini Urban
  committed
  3d61241
- fix fuzz YSIZE
  Reini Urban
  committed
  42ad7b7
- fuzz: minor improvements
  Reini Urban
  committed
  1b1df2d
Commits on Nov 5, 2024
- support emacs flymake-mode
  Reini Urban
  committed
  b465060
- fuzz: extend fuzz repro
  rurban
  committed
  d669d0c
- more fsbndm-w4 nonsense
  rurban
  committed
  7a07a30
- more verifications
  rurban
  committed
  f2681da
Commits on Nov 8, 2024
- improve fuzzing, not being killed
  rurban
  committed
  4b8bc5c
Commits on Nov 9, 2024
- fuzz: better repro. -DNOSHM, hexquote
  rurban
  committed
  d086f32
- fix test for NUL in strings
  rurban
  committed
  62bc5f1
- fuzz-repro.sh: support -nv
  rurban
  committed
  05d75a9
- lint results
  rurban
  committed
  922aa90
Commits on Nov 10, 2024
- asan: fs-w6 and fs-w8 fail now asan
  rurban
  committed
  15dd6e6
- verify: start esbmc support
  rurban
  committed
  4664d77
- msys has no shmdt anymore
  rurban
  committed
  7df0699
- make check: less verbose
  rurban
  committed
  a87d160
- rcolussi hangs with rand2
  rurban
  committed
  08cedfc
- better printable helper
  rurban
  committed
  cdf04bc
- add smart -nv flag, non-verbose
  rurban
  committed
  07229d7
- more esbmc solver fixes
  rurban
  committed
  78c5163
- found esbmc failing verifications
  rurban
  committed
  e9d897a
- add fuzz-repro target
  rurban
  committed
  ee35aec
- fuzz with asan
  rurban
  committed
  23debed
Commits on Nov 12, 2024
- fix fuzz-repro.sh syntax error
  rurban
  committed
  78af259
- more tsa-q2 asserts
  rurban
  committed
  ff8d446
- fixed asan errors
  rurban
  committed
  34d46c0
Commits on Nov 13, 2024
- fix asan.lst and good.lst
  rurban
  committed
  7b05c11
Commits on Nov 14, 2024
- work on fs-w4
  rurban
  committed
  3091c49
- smart: fix for mingw/msys
  rurban
  committed
  c42b81c
- add tvsbs-w6 asserts
  rurban
  committed
  6626b4c
Commits on Nov 16, 2024
- ci: extend aarch64 timeout
  rurban
  committed
  38b5e12
- tvsbs-w6.vfy with goto-analyzer
  rurban
  committed
  3588097
Commits on Nov 18, 2024
- verify: fix wrong bf_search_large MAX_M asserts
  rurban
  committed
  62f29fb
Commits on Nov 19, 2024
- fuzz: special indir
  rurban
  committed
  c026cac
- extend fuzz, check against bf
  rurban
  committed
  a44955b
- sbndm-w6: fix illegal search_small
  rurban
  committed
  83ab486
Commits on Nov 24, 2024
- jom: found crashes and try to fix em
  rurban
  committed
  f6cac20
- fix ufndmq* algos heap-overflows
  rurban
  committed
  3a620ed
- sbndmq8 asan failures are not repro anymore
  rurban
  committed
  d4b1944
- fuzz: fix crash with missing data/fuzz/index.txt
  rurban
  committed
  743ec9a
Commits on Nov 26, 2024
- test: fix error return code
  rurban
  committed
  3103fe3
- test --files: nul terminate the input strings
  rurban
  committed
  a8ea63e
- mark sbndm-w6 and sbndm-w4 as still crashing
  rurban
  committed
  1ef360f
- simdkr: fix neon_strstr_generic
  rurban
  committed
  538300f
Commits on Nov 27, 2024
- ssecp, ssef: simde support for other archs
  rurban
  committed
  626d773
- fix MIN_M 2 for lbndm and sbndm2
  rurban
  committed
  6161369
- realloc y with tvsbs-w*
  rurban
  committed
  310fe3a
Commits on Nov 30, 2024
- ubsan: exit 1 on ubsan errors
  rurban
  committed
  db18bba
- make fuzz-repro cleanup false fuzz errors
  rurban
  committed
  bff0a0c
Commits on Dec 2, 2024
- sbndm minlen 2
  rurban
  committed
  513c564
Commits on Dec 6, 2024
- tsa: fix wrong asserts
  rurban
  committed
  d53f6f2
Commits on Mar 13, 2025
- musl: fix timers
  rurban
  committed
  fbd562f
- add hashchain algos
  rurban
  committed
  d53f5e3
- add lhc* variants: Wors-case linear
  rurban
  committed
  f78fe84
- add flhc* variants: Fast
  rurban
  committed
  54a8f80
- add unsafe shc* variants
  rurban
  committed
  b39ea11
Commits on Mar 14, 2025
- musl1: seperate prep step
  rurban
  committed
  cc7e843
Commits on Jul 3, 2025
- gh: pinact run -u
  rurban
  committed
  ee3a737
Commits on Mar 18, 2026
- fix best.sh and all.sh
  Reini Urban
  committed
  75373c7
Commits on Mar 19, 2026
- new best25 ranking
  Reini Urban
  committed
  ee809f8
Commits on Sep 21, 2026
- hashchain: fix -Wmaybe-uninitialized
  rurban
  committed
  e5ef93e
- ms,om: fix qsort comparator pointer type mismatch
  rurban
  committed
  814c217
- minor fixes: no wrong algocfg deps and ununsed-arg warnings
  rurban
  committed
  9e351a4
- fix some wrong algo constraints and crashes
  
  rurban
  and
  codex
  committed
  c3f5fc6
- Fix multi-sliding windows algorithms classification and search_large output duplication
  rurban
  committed
  5430298
- fix many lint warnings
  rurban
  committed
  56b2a3c
- epsm: fix 4 distinct OOB reads found by differential fuzzing
  rurban
  committed
  14e5b9f
- README: drop duplicated multi-sliding-windows doc pointer
  rurban
  committed
  ed279fc
- test: fix printable() display bug, guard case 21 by minlen; reclassify HashChain q>=4
  rurban
  committed
  be54dd2
- simon,ssecp: fix heap corruption, miscounts, infinite loop, OOB reads
  rurban
  committed
  4b4b5ec
- window family leftovers: route through search_safe; simon: fix signed-char transition
  rurban
  committed
  f659c78
- blim: document known bugs and historical context
  rurban
  committed
  c22861e
Commits on Sep 22, 2026
- tsa-q2: fix three bugs (mask overflow, coverage gap, unverified m=Q case)
  rurban
  committed
  b56dffc
- add BSD support: BSDmakefile
  rurban
  committed
  3c3be12
- bmh-sbndm: fix two bugs in the post-match shift computation
  rurban
  committed
  7fdbc9e
- graspm: fix candidate-list traversal bug and its already-seen band-aid
  rurban
  committed
  c132d0b
- ldm: fix stale-R bug causing phantom occurrences past a match
  rurban
  committed
  20fdcca
- README: update stale 'unsafe' EPSM note
  rurban
  committed
  3a3cfb1
- simdkr: fix SIMD block overread and m=1 heap-buffer-overflow
  rurban
  committed
  e239f9b
- musl2: fix broken post-match Horspool shift (was skipping overlaps)
  rurban
  committed
  08a7294
- faoso4: fix verify_large missing bounds check and lost match count
  rurban
  committed
  301f87e
- faoso6: fix bit-register overflow (q=6 layout needs more than 32 bits)
  rurban
  committed
  4048ffa
- Added OUTPUT support for epsm,ssecp,tsa,tsa-q2,tso5
  rurban
  committed
  9e0e17b
- Fix tsa-q2 incorrect assert causing deterministic abort
  rurban
  committed
  25e3a0a
- Fix fhc1-8 fuzzing failures by adding fallback search for short patterns
  rurban
  committed
  cecb967
- Fix tvsbs-w2 heap buffer overflow on short patterns
  rurban
  committed
  372fc53
- Makefile: generate rand*.txt test data as a proper dependency
  rurban
  committed
  819ef6b
- GNUmakefile: fix algocfg not found on fresh make after clean
  rurban
  committed
  d321696
- ci: no aarch64 on qemu check, macos is aarch64 now
  rurban
  committed
  8324d56
Commits on Sep 23, 2026
- update best.sh selection
  rurban
  committed
  15df990
- fix fuzzing problems
  rurban
  committed
  8888528
- Update tests.lst and other lists
  rurban
  committed
  edbebf6
Commits on Sep 24, 2026
- Update README and best.sh recommendations
  rurban
  committed
  7c38224
- still failing: rcolussi graspm blim
  rurban
  committed
  98eb239
- blim: handle single-byte patterns
  rurban
  committed
  56843e9
- blim: fix mask scan and fallbacks
  rurban
  committed
  33c4ce3
- fuzz: disable benchmark timers
  rurban
  committed
  624eb93
- add bql algo: good
  rurban
  committed
  a5d0f46
- add hpbm algo
  rurban
  committed
  dc4fab7
- fix epsm warning with clang
  rurban
  committed
  f37816f
- fix the project links
  rurban
  committed
  13b54a4
- add scut and 2block sustik-moore algos
  rurban
  committed
  22d359a
- add BMH q-gram algorithms
  rurban
  committed
  13bb403
- add sbdm algo, succinct backward DAWG matching
  rurban
  committed
  6d45255
- add backward set oracle matching
  rurban
  committed
  e5dc394
- add sm - Wu Manber matcher
  rurban
  committed
  5c4587b
- add swm simplified Wu Manber matcher
  rurban
  committed
  cc894fa
- add krsimd, a better polynomial AVX2 rabin-karp
  rurban
  committed
  5474ff7
- support ./algocfg fail
  rurban
  committed
  33939fd
Commits on Sep 25, 2026
- add BM BNDM matcher
  rurban
  committed
  87b780e
- add Turbo BNDM matcher
  rurban
  committed
  825f97f
- add SMART result merger
  rurban
  committed
  90d88f7
- Update tests
  rurban
  committed
  d95a08c
- Update README.md
  rurban
  committed
  29bc3cc
- smart: implement timeout, default 300ms
  rurban
  committed
  7203cbd
- libc and musl fail with \0 in the text
  rurban
  committed
  1677c24
- make verify-trace
  rurban
  committed
  a9f0052
- smart: add ARM NEON support for ssecp and epsm
  rurban
  committed
  a155c60
- fix fndm, random gs fails with m=32
  rurban
  committed
  180fff9
- add epsm AVX2 support
  rurban
  committed
  5a211b5
- updated clang-tidy.log
  rurban
  committed
  b088243
Commits on Sep 26, 2026

Commits

Commits on Mar 24, 2024

Commits on Mar 25, 2024

Commits on Mar 26, 2024

Commits on Mar 27, 2024

Commits on Mar 28, 2024

Commits on Mar 29, 2024

Commits on Mar 30, 2024

Commits on Mar 31, 2024

Commits on Apr 1, 2024

Commits on Apr 2, 2024

Commits on Apr 3, 2024

Commits on Apr 4, 2024

Commits on Apr 5, 2024

Commits on Apr 6, 2024

Commits on Apr 8, 2024

Commits on Apr 12, 2024

Commits on Oct 31, 2024

Commits on Nov 1, 2024

Commits on Nov 2, 2024

Commits on Nov 3, 2024

Commits on Nov 4, 2024