I'm toying with the use of SAL in a large, and well tested system (SQLite)
C
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
sqlite-amalgamation-3080900
.gitattributes
.gitignore
3_8_10_2__3_8_11_1_modfied_for_30_80_900.patch
README.md
SAL_TODO.txt
patch_sqlite_c_output.txt

README.md

SQLite-Test-SAL

I'm toying with the use of SAL in a large, and well tested system (SQLite)

I intend for this to eventually be a drop-in "replacement" for SQLite, for users of SQLite, to errors in their own usage of the SQLite API. By carefully annotating the API, I've enabled /analyze to detect insidious bugs in API misuse.