- Jun 23, 2013
-
-
an7s authored
Former-commit-id: dd9fc21dfed052ad30cb21e3833364a71379d620
-
bdr7fv authored
PN update. changed some logging data, changed how functions with low/no coveage are validated, add functionality to validate the entire program, including shared objects, at once. Former-commit-id: f3b7c9a6c2722f40ee997570bd9263682f7bbce9
-
an7s authored
Former-commit-id: c65fdd5e3852ff7a1e46c474b2e9106733083f10
-
- Jun 21, 2013
-
-
bdr7fv authored
I will not attempt validation on functions that haven't been covered. In theory, they should validate immediately when validated using recursive validation. The intuition is we might actually have coverage for these functions because of errors in how coverage is generated. Former-commit-id: 74edad18638a094009008870aa2f64e69ff73fb3
-
an7s authored
Former-commit-id: 29b53f12f6de81091d81aedb002dc6e0775ee573
-
bdr7fv authored
Former-commit-id: 9336b2fdcc6ee0aff105ccd7ad4ec516419de9cb
-
bdr7fv authored
Former-commit-id: aaf1a471a7cc753b259cfe9f26c8cf4e3f65f12e
-
bdr7fv authored
Optimized PN, sort vectors of functions to validate by the number of boundaries found by the infernces for those functions. The concept is that if there are 3 or fewer variables, these layouts are essentially P1, so they should validate immediately. By sorting them, when recurisve validation is used, hopefully a larger portion of functions will be validated immediately, if all these "safer" functions are grouped together. Former-commit-id: 90f4e0ed9adb6a9b54f6c0aa7c8c108e875867ea
-
- Jun 20, 2013
-
-
bdr7fv authored
Former-commit-id: f246be763c302c9497a4e6bf4b41887b5b8cacbf
-
an7s authored
Former-commit-id: c9d1eee802979142507df8a34163d7e5cece61e7
-
an7s authored
Former-commit-id: 13dfdd8259faf36161071021f03764e03bf783cc
-
an7s authored
Former-commit-id: 8945bb40bc258c939a13d7f04caa693e2544c073
-
bdr7fv authored
Former-commit-id: 3aa347754b217b5873769d6b0e9a67aee4615977
-
bdr7fv authored
PNTransformDriver will now perform shuffle validation, if appropriate. To determine if shuffle validation is appropriate, I also changed PNStackLayout.hpp to return if shuffle validation is appropriate for a layout. Also enforce that a.ncexe is the first file to be modified, and minor code clean up and tweaks to logging information. Former-commit-id: 28d2baf35a7b7e05d0e72619665be58c7b19bbda
-
an7s authored
Former-commit-id: 3b0cd479001c9c272e559772de1e588b53cb86b4
-
an7s authored
Former-commit-id: 037b8ab9a4e8992e3dd8f65172c451cfd264b75d
-
an7s authored
Tests to make sure that vetted tokens come from a single signature Former-commit-id: e532126bf0874cca10852870ace8518b4482890d
-
bdr7fv authored
PN Will not register modificaitons, but instead will accumulate modifications that succeed. This is a hack because zsh will not pass if I delay modifications until the end. Also a few additions to logging, error logging, and comments. Some minor cleanup as well. Former-commit-id: a3f941e8db8093467283772f1b7337e95b10e826
-
- Jun 19, 2013
- Jun 18, 2013
-
-
an7s authored
Former-commit-id: f4d606317eebd6ffb15ce7a41d809a09fc8f83b0
-
bdr7fv authored
PNTransformDriver.cpp: important comments as to what padding is actually added for a variable. Former-commit-id: 6835caa6ec2a7a5aae1de19286ce7eee2424be1c
-
bdr7fv authored
Former-commit-id: fceabead2959b653227b3358697fbd2d531d144d
-
bdr7fv authored
PN optimization. PN will now do a binary search algorithm to find bad modifications. All functions with coverage are now validated, and validated faster than previous version that only validated if coverage was above the threshold. This version does not have shuffle validation, I will add that feature in a future update. It was easier to remove it for this optimization. Typically this is only used for Main. New logging summary output including how many functions are modified with high coverage, low coverage and no coverage. Former-commit-id: 468864bd92166e2eafafddd65b152c721173d294
-
- Jun 17, 2013
- Jun 15, 2013
-
-
bdr7fv authored
PNTransformDriver.cpp using basename of shared objects to match file name stored in db. This is a temporary fix due to the way shared objects are currently stored in the db. Former-commit-id: b01bf4ca7674cfef8fe585ff327802f61870eea7
-
bdr7fv authored
Former-commit-id: d0b753e6ae7790499b14f1bdf8b3d45dfe034449
-
bdr7fv authored
coverage will get the basename of a shared object absolute address to compare against the stored url of a shared object. This should be corrected such that the db stores the absolute path of the shared object and comparison does not require me to take the basename. Former-commit-id: 76d8d5886eec5f023b0876c49a23ac8b9074f18c
-
- Jun 14, 2013
-
-
bdr7fv authored
Former-commit-id: a37f2277be18954c153346a11d1617b8a2bf302c
-
bdr7fv authored
I had a change of heart, a summary report of functions exceeding the PN threshold is given by PN now, not coverage.cpp. This way the summary is based on the threshold passed on PN not a hard coded 50% like I had it before. Former-commit-id: b4db538e3255d72ae6e4c9cf6bf93741ff0476a2
-
bdr7fv authored
coverage.cpp, prints out to stdout the total number of non-plt funcs (functions that don't begin with '.') that exceed 50% coverage. Former-commit-id: a0b76fa27864a094ab3d271f71523bc483bee40f
-
- Jun 12, 2013
-
-
bdr7fv authored
Former-commit-id: 466370d9eebd247831907328c49237c16457013c
-
bdr7fv authored
Former-commit-id: 3ba17ed0594306b5fdf3ca5f4617cf84c1fdff83
-
bdr7fv authored
Second, and last partial commit which now fully updates the toolchain for the manual testing infrastructure. Former-commit-id: 85081dd4402ea35a7431aa5ce1f384956a8533a2
-
- Jun 11, 2013
- Jun 10, 2013
-
-
jdh8d authored
Former-commit-id: 277087b0ddac7b57b7fa47f3c68d715aaf143957
-
- Jun 07, 2013