SaswatPadhi
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
420 contributions in the last year
Activity overview
Contributed to
padhi-homelab/services,
SaswatPadhi/saswatpadhi.github.io,
padhi-homelab/configs
and 5 other
repositories
Contribution activity
September 2020
Created a pull request in awslabs/aws-templates-for-cbmc-proofs that received 4 comments
Negative tests for CBMC flags
This PR introduces a suite of negative tests. In future, we should see an alarm (a failed CI job) if any of these tests fail, which would indicate …
+411
−1
•
4
comments
Created an issue in diffblue/cbmc that received 13 comments
goto-cc incompatible with cbmc's --malloc-may-fail and --malloc-fail-null
CBMC version: 5.13.0
Operating system: Linux 64-bit
Minimal example:
#include <assert.h>
#include <stdlib.h> int main (void) { int*p = malloc(sizeo…
13
comments
Joined the padhi-ocaml organization
4
contributions
in private repositories
Sep 2 – Sep 17