Commit Graph

333 Commits

Author SHA1 Message Date
Ian A Mason
4a8dcb7490 Issue #39 (take 2). 2020-10-09 23:16:50 +00:00
Ian A Mason
4b34b5e1aa Issue #39. 2020-10-09 22:28:27 +00:00
Ian A Mason
f084b36a53
Update ians-notes.txt 2020-08-04 20:07:45 -07:00
Ian A.Mason
327226cd84 osx gofmt disagrees with linux gofmt. 2020-08-04 19:39:05 -07:00
Ian A. Mason
6bb4db70a5 version bump. 2020-08-04 17:59:26 +00:00
Ian A Mason
165d3369bf
Merge pull request #37 from trailofbits/ww/make-extraction-errors-fatal
extractor: Make extraction errors fatal
2020-08-04 10:06:30 -07:00
William Woodruff
c14c8e6d73
extractor: Add a "strict extraction" mode
The more permissive current behavior remains the default.
2020-08-04 12:59:52 -04:00
William Woodruff
3389f1fde6
extractor: Fix success assignment
Booleans are default-initialized to false, so we only need
to assign to true in the success case.
2020-08-04 10:48:02 -04:00
William Woodruff
d235e663df
get-bc: exit with Extract()'s exit code 2020-08-04 10:22:40 -04:00
William Woodruff
3a0cea8f37
extractor: Fix success shadowing 2020-08-04 09:43:46 -04:00
William Woodruff
eb5c783f2c
extractor: Fix other assigns 2020-08-03 16:55:38 -04:00
William Woodruff
6ca36df5db
extractor: Fix Extractor signature 2020-08-03 16:46:52 -04:00
William Woodruff
3d3264fd14
extractor: Make extraction errors fatal 2020-08-03 16:41:28 -04:00
Ian A.Mason
8110c3fb00 CI wild goose chase, III 2020-07-13 13:33:45 -07:00
Ian A.Mason
36f9b67dbf CI wild goose chase, II 2020-07-13 13:28:22 -07:00
Ian A.Mason
fc0eb55439 CI wild goose chase, I 2020-07-13 12:37:05 -07:00
Ian A.Mason
4958703d80 Omit the CI on OSX until I can work up the energy to see why brew install llvm fails. 2020-07-13 12:29:29 -07:00
Ian A.Mason
13eaad39ad Spring clean the makefile. 2020-07-13 11:40:59 -07:00
Ian A. Mason
02ea4c5218 Complaints from the peanut gallery. 2020-03-24 12:55:59 -07:00
Ian A. Mason
27ff069bcb gofmt tweaks. 2020-03-24 12:38:09 -07:00
Ian A. Mason
e5869c7444 LLVM_BITCODE_GENERATION_FLAGS feature. 2020-03-24 12:36:16 -07:00
Ian A. Mason
a25ce9cfb9 touch could be a useful test. 2019-10-31 19:36:49 +00:00
Ian A. Mason
f464fcac22 Keep the formating gods at bay (or PG&E will not restore my power) 2019-10-28 20:47:17 +00:00
Ian A Mason
28f0ce31f2
Update README.md
Typo.
2019-10-28 13:29:51 -07:00
Ian A. Mason
16f126b631 The README is now self contained (maybe). 2019-10-28 20:27:48 +00:00
Ian A. Mason
432a6ca326 Warming to the task of no longer relying on wllvm documentation. 2019-10-28 16:57:12 +00:00
Ian A. Mason
5b1c1b2752 testing the cmd switches and environment settings. 2019-10-28 14:38:49 +00:00
Ian A. Mason
58744e5ae2 Purge of LogFatal complete; some (success bool) codes not checked yet, mainly in the bitcode attaching process 2019-10-26 16:47:47 +00:00
Ian A. Mason
fa20b6410c Slowly remove the ugly LogFatal in favor of exitCodes 2019-10-26 01:53:45 +00:00
Ian A. Mason
ef77e255a8 Still futzing with the Extract method... 2019-10-26 00:37:23 +00:00
Ian A. Mason
bd88b14e25 Actually use the args slice passes to shared.Extract 2019-10-25 20:22:52 +00:00
Ian A. Mason
4c6313089a Adding some text to the sanity checker, so I can cut and paste when I forget the env vars. 2019-10-25 17:42:55 +00:00
Ian A. Mason
6fe574a965 Makefile for the absent minded. 2019-10-25 17:30:58 +00:00
Ian A Mason
037a8b22d0
Merge pull request #32 from arrowd/patch-2
Also LogDebug() the command line being run in runCmd()
2019-10-25 10:25:24 -07:00
Gleb Popov
4dae7fb34a
Also LogDebug() the command line being run in runCmd() 2019-10-25 21:23:18 +04:00
Ian A Mason
802745f6a5
Update README.md 2019-10-25 10:22:53 -07:00
Ian A Mason
31809002e2
Update README.md
Futzing while waiting for a compile to finish.
2019-10-25 10:13:20 -07:00
Ian A Mason
b09494b393
Update README.md
Formatting ...
2019-10-25 09:50:28 -07:00
Ian A.Mason
48410d1c0f A picture is worth a Megaword. 2019-10-25 09:48:48 -07:00
Ian A.Mason
86d04ac4e4 Cleaning up the extraction arg parsing, with the aim to parse something other than os.Args 2019-10-25 09:27:32 -07:00
Ian A. Mason
321c44cfee Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2019-10-23 19:03:24 +00:00
Ian A. Mason
21a9a3a3c7 Prepping a new release. 2019-10-23 19:03:01 +00:00
Ian A Mason
4ffd7d4646
Update README.md
Add a plug for `gsanity-check`.
2019-10-23 10:41:47 -07:00
Ian A. Mason
8abc459f9a Turn off replay mode; didn't pan out unfortunately. 2019-10-23 16:55:52 +00:00
Ian A Mason
40683f0ab7
Update README.md
`tha` should be `the`
2019-10-23 09:41:13 -07:00
Ian A. Mason
bce21265af Allow for customization under the hood. 2019-10-23 16:27:24 +00:00
Ian A. Mason
0be1e568c2 Elevate failure of the segment addition process to a warning, why isn't it an error... 2019-10-23 14:35:38 +00:00
Ian A. Mason
0a188e2de8 nodejs example with the extra baggage of the gist. 2019-10-23 13:29:11 +00:00
Ian A. Mason
cba433a89f race tests can take a long time. 2019-10-22 17:56:42 +00:00
Ian A. Mason
3a57e247a0 Futzing insidee the vagrant box. 2019-10-22 17:53:26 +00:00