Commits

Commit history

1. Commits on Oct 5, 2026

   • Replace `ptr.offset(x).op` with `offset!(ptr, x).op` in the rules

     Show description for 8fd005f
     nunoplopes

     committed
     8fd005fView commit details

     Copy full SHA for 8fd005f

     View code at this pointBrowse repository at this point

   • Switch char to i8 (#452)

     Show description for dc5584e
     nunoplopes

     authored
     dc5584eView commit details

     Copy full SHA for dc5584e

     View code at this pointBrowse repository at this point
2. Commits on Sep 15, 2026

   • Remove unneeded clones in converter and rules (#371)

     Show description for 6485b0a
     lucic71

     authored
     6485b0aView commit details

     Copy full SHA for 6485b0a

     View code at this pointBrowse repository at this point
3. Commits on Jul 18, 2026

   • Add safe realpath (#269)

     lucic71

     authored
     a3fba06View commit details

     Copy full SHA for a3fba06

     View code at this pointBrowse repository at this point

   • Add misc safe rules (#264)

     lucic71

     authored
     5ed6982View commit details

     Copy full SHA for 5ed6982

     View code at this pointBrowse repository at this point
4. Commits on Jul 16, 2026

   • Add qsort and bsearch safe rules (#258)

     lucic71

     authored
     a50ac5aView commit details

     Copy full SHA for a50ac5a

     View code at this pointBrowse repository at this point
5. Commits on Jul 11, 2026

   • Add safe malloc/calloc/realloc/free/strdup (#234)

     lucic71

     authored
     2caaa96View commit details

     Copy full SHA for 2caaa96

     View code at this pointBrowse repository at this point
6. Commits on Jul 1, 2026

   • Translate char as libc::c_char in unsafe (#194)

     Show description for 1b372c1
     lucic71

     authored
     1b372c1View commit details

     Copy full SHA for 1b372c1

     View code at this pointBrowse repository at this point
7. Commits on Jun 12, 2026

   • Translate size_t/ssize_t as usize/isize (#185)

     Show description for 92e2e20
     lucic71

     authored
     92e2e20View commit details

     Copy full SHA for 92e2e20

     View code at this pointBrowse repository at this point
8. Commits on May 23, 2026

   • Remove IR files from git (#144)

     Show description for dfd12f3
     lucic71

     authored
     dfd12f3View commit details

     Copy full SHA for dfd12f3

     View code at this pointBrowse repository at this point
9. Commits on May 22, 2026

   • [unsafe] Rules for arpa_inet, cstdlib, cstring, socket, time, xattr (#137)

     lucic71

     authored
     bbfc459View commit details

     Copy full SHA for bbfc459

     View code at this pointBrowse repository at this point

   • [unsafe] Allow taking the address of malloc, free, realloc, calloc, strdup (#136)

     lucic71

     authored
     2611835View commit details

     Copy full SHA for 2611835

     View code at this pointBrowse repository at this point
10. Commits on May 21, 2026

    • [unsafe] Add stdlib.h rules (#131)

      lucic71

      authored
      60deba8View commit details

      Copy full SHA for 60deba8

      View code at this pointBrowse repository at this point
11. Commits on May 13, 2026

    • Add rules for malloc, realloc, and free for unsafe model (#91)

      lucic71

      authored
      f0faa2fView commit details

      Copy full SHA for f0faa2f

      View code at this pointBrowse repository at this point
12. Commits on Apr 12, 2026

    • initial import

      Show description for 136fb66
      

      5 peoplecommitted
      136fb66View commit details

      Copy full SHA for 136fb66

      View code at this pointBrowse repository at this point
13. Loading