Skip to content

Reject ambiguous ELF mappings in bounded literal discovery #6476

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Clear1nsight wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Reject ambiguous ELF mappings in bounded literal discovery #6476

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions research/h25-elf-literal-discovery-controls/.gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
** -text -filter -ident -working-tree-encoding
393 changes: 393 additions & 0 deletions research/h25-elf-literal-discovery-controls/MANIFEST.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,393 @@
{
"schema": "h25-literal-discovery-archive-manifest-v1",
"base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
"base_tree": "e6898c8ba7a27b71587c32ba3f639259ceeeed91",
"self_hash_excluded": "Only MANIFEST.json; publication tree/external freeze authenticates its identity.",
"files": [
{
"path": ".gitattributes",
"bytes": 47,
"sha256": "515359628a26efcedb88e595fec4579c3365dc4c26144c65b7f055ea1329bc3d",
"git_blob": "48ccbf62bee89e3c2bcc51e2bfe93e2eee2eb989",
"mode": "100644"
},
{
"path": "NOTICE.md",
"bytes": 1354,
"sha256": "917b19599cede768a50d6f33e5040e8628d1d829b75bb94323020a65785c3c34",
"git_blob": "fdc32d8d8689423bb7b9a0532975bba53e93d973",
"mode": "100644"
},
{
"path": "README.md",
"bytes": 10614,
"sha256": "59b66b72280a0b3cd8f6229130bc007fe168d3447f776b2487e0bf039772adee",
"git_blob": "35cd0915003f2112103ab64ae5791893e201c456",
"mode": "100644"
},
{
"path": "SCOPE.json",
"bytes": 2501,
"sha256": "d2cd1af423e20f07ea9cafb41e1bb003b04672627f7420f7a5be5dac0b8d1f58",
"git_blob": "c7c4d1b3cb84ad127dc6aae577bf833644e5dfd6",
"mode": "100644"
},
{
"path": "SOURCE-MAP.json",
"bytes": 28558,
"sha256": "72493097eb492a643a30b9b28538b19ad613c9628552f21d6912e566016819da",
"git_blob": "ff9c34091d34ec09f26e0f41e5283708331bc4b3",
"mode": "100644"
},
{
"path": "SOURCES.json",
"bytes": 2506,
"sha256": "149891b3df23ac329bfa13a0cf9cb00f937ccfa0da4f1c7ed4d0b3e66a22de60",
"git_blob": "062cc08f06a2f1040f7291965163963aea6357ad",
"mode": "100644"
},
{
"path": "TASK.json",
"bytes": 5007,
"sha256": "192d61a0843778b0b9d5ee52c61c4456913f8fed1fe1a95f44f88da6fb7bb274",
"git_blob": "da34bdab89ff1796a4a1ff609bd92b8553bd0778",
"mode": "100644"
},
{
"path": "VERIFY.json",
"bytes": 1651,
"sha256": "d5954047b2e3d5e1ef9971326c753fcb81a7c52e70b6cb69dacbc327d9ced346",
"git_blob": "9bbb43f1eac2db466ce933eea7c580d1abe960bf",
"mode": "100644"
},
{
"path": "archive/rejected-v1/INERT.txt",
"bytes": 335,
"sha256": "9b12e3817d3a15475b9895f832a15ec7efaeaed87bbb041b980fdb979f5513de",
"git_blob": "830ce2b6c1ed56fe60752c2a2ed16b3f28a54c5d",
"mode": "100644"
},
{
"path": "archive/rejected-v1/passive_image_candidates_v1.py.txt",
"bytes": 11272,
"sha256": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04",
"git_blob": "2f48f7304c48acd33ee0f14e2ef897fe56ea4531",
"mode": "100644"
},
{
"path": "consultation/ASSESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md",
"bytes": 1698,
"sha256": "dd86fdf95c0dee8e6607a38db70435bcb0505d002aed8d7d1fd359649a08b06c",
"git_blob": "ecd07ddbdfd752967e2ce106fda3abbd8a787f6f",
"mode": "100644"
},
{
"path": "consultation/ASSESSMENT-v21.md",
"bytes": 4959,
"sha256": "0af874f0cc4d065024f6b54c9159e30ba21cc967e5bfe10cff31d52904f146a7",
"git_blob": "d7f97d6da0238eee137b7b332901b6a8dc2845d7",
"mode": "100644"
},
{
"path": "consultation/RESPONSE-v21.txt",
"bytes": 13716,
"sha256": "6cb8e8b0d7a995f557b89a8ad4fc8d204d5c81edc8dbea00d6eefa6695fb003c",
"git_blob": "d8b7a6a8c30ba0650ceb6f9d03358355310bdee1",
"mode": "100644"
},
{
"path": "context/ROUND-CLOSE-v1.json",
"bytes": 16231,
"sha256": "e8fc63616c75ad6dd5b5b69620764e29f7e6040ad292c5a5924cd6027a5e2c93",
"git_blob": "1a05c0366b20814309e1f9afc219e9c88fb895ec",
"mode": "100644"
},
{
"path": "context/ROUND-PLAN-v1.json",
"bytes": 3248,
"sha256": "5b8136541234a49aff9cc2b17e6916377be47581ae86831b86dcdb3d78aedc73",
"git_blob": "c101ddfe4ea2bcee76a8c3402bdc5e4a262952b0",
"mode": "100644"
},
{
"path": "controls-v1/CONTROLS-v1.json",
"bytes": 4370,
"sha256": "dff80f346111786b6a2622b0039e4aa478aba3cb9c44582c343d1a5fe0dc9f83",
"git_blob": "626de90a0d55245e594814b45ac10e6ebe9490a2",
"mode": "100644"
},
{
"path": "controls-v1/CONTROLS-v1.md",
"bytes": 2256,
"sha256": "93c78cd47b4e1d4228d3947fcbc96ecabe397d5683355c39c25a8cc6660681a7",
"git_blob": "bd13f69478e89c2ca6a3f1d0ed9994e6ad7ccf40",
"mode": "100644"
},
{
"path": "controls-v1/FREEZE-v1.json",
"bytes": 1628,
"sha256": "cb1e34650e0d0b8b1d8b20a05f137d26ed84df101140f1423762dd85799402dc",
"git_blob": "6038feef10c0c2eba14dc8ebb81d70b218302657",
"mode": "100644"
},
{
"path": "controls-v1/PLAN.json",
"bytes": 395,
"sha256": "935e8ab5c31c8f707d6577674b20d2233fa8e4c5a5c284666be8a820748d2b2a",
"git_blob": "550ae1cac14874a7f648e5441c8ee882e09a010c",
"mode": "100644"
},
{
"path": "controls-v1/literal_fixtures_v1.py",
"bytes": 3022,
"sha256": "979f719820707490920bf39f3c398129ed6e49b2df898e76a1f7292cc8d8d47d",
"git_blob": "35125a744a469e70acc99557f7c58662f4aab3c9",
"mode": "100644"
},
{
"path": "controls-v1/test_literal_candidates_v1.py",
"bytes": 8023,
"sha256": "cbbe3139f6d67d2da653f5aaf4a62f0ab108f5a1cde37e0f444f3ef826ae9ed6",
"git_blob": "6f8daf055375f4ac0eb009eacefdd917e052aec1",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/GRANT-v1.json",
"bytes": 5408,
"sha256": "845eab937144d8f4079d3558ce5f6649662ab8b29f5a2e95359afe81d59bc0aa",
"git_blob": "0d158fed59d0546ec0a3644a915696f9da26f94f",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/LEDGER-001.json",
"bytes": 3077,
"sha256": "4955efcccf2160f87e75ab02dfca82da6ed733e2690bad8a65dfd15e4f64c7b9",
"git_blob": "c1a2c48b45a96799122eb436bcae02f68c76fb6e",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/TOOL-RESULTS-v1.json",
"bytes": 308,
"sha256": "906e6991446bb1ca42b91c0c2fdf76866e7fbdb3fbcfffb706c79c85acc4883e",
"git_blob": "9907727fe5899fb520ea1f893157c317d0483ec5",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/normal.stderr.raw",
"bytes": 0,
"sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/normal.stdout.raw",
"bytes": 1389,
"sha256": "b85780ffb728da8b6286156fc744daa603b241d808214dfa63c37b30b18192b6",
"git_blob": "c3e916b8f767e7e4ffeab0754e41c365df32c714",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/normal.time.raw",
"bytes": 138,
"sha256": "69321011fa8f5c14fce0db5edd77e075e142d6318052dd62a1b827bbf6759262",
"git_blob": "6b684766bd1f1504069ec96dfd58f8bc86180e25",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/optimized.stderr.raw",
"bytes": 0,
"sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/optimized.stdout.raw",
"bytes": 1389,
"sha256": "5e8c791de873ba722aa67b424376a37395e117bde2fd507b4d0a5321c49b0a6d",
"git_blob": "89f0ebb872f55b40740153cf1e978517cd9ca2c2",
"mode": "100644"
},
{
"path": "evidence/controls-execution-v1/optimized.time.raw",
"bytes": 138,
"sha256": "c824b88e812517016305f2880f2d6de79f710759e157cc5259fb62f3be6fb311",
"git_blob": "bb9e5ca7d689958bc4ad7a020281f247a87098bf",
"mode": "100644"
},
{
"path": "notices/LICENSE",
"bytes": 11357,
"sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64",
"mode": "100644"
},
{
"path": "notices/NOTICE",
"bytes": 24973,
"sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd",
"git_blob": "59d8e0cf3102e15bd11db430838365531e2d7f18",
"mode": "100644"
},
{
"path": "protocol/MANUAL-CONTROLS-v1.json",
"bytes": 4663,
"sha256": "22eff45dfe65dcaf4f4c9ffd1963ee4a4bc07d5128de3960259215e0b8a9a446",
"git_blob": "6a742e45647b99045b032ab0d3b0ba38a09bdd10",
"mode": "100644"
},
{
"path": "protocol/OPERATION-v1.json",
"bytes": 14775,
"sha256": "d39ee50b70ec49ef81be61a3ccdb439fb5d22eb6eac5e2808c2b67ff25d352fd",
"git_blob": "92db157f5c76c7e121d3b9be2a1fd85edfcd03f3",
"mode": "100644"
},
{
"path": "protocol/OPERATION-v1.md",
"bytes": 4229,
"sha256": "68255ebb4e3136441d132e2a012c7f86308ab90cf7ce6d56f00befffbd0f3df1",
"git_blob": "95d07d4b0115da86ac126e6cd23cf7cdd46fbb92",
"mode": "100644"
},
{
"path": "protocol/ORIGINAL-FREEZE-v1.json",
"bytes": 1924,
"sha256": "585c4a50407be565b13c808d58fbad3f60e17ff070c58bf0c1d8fd3aebfe84ff",
"git_blob": "1312b2cf9712a4e3e7cc1fa72b4672c3ce05b3b7",
"mode": "100644"
},
{
"path": "protocol/SCOPE.md",
"bytes": 596,
"sha256": "5576a2e98830e1d2be4ef9babe5314d538426cfb4372310d8835f6f467a2ceac",
"git_blob": "13681aad95ca15d70dbe65e660076ef6ad8d4d6c",
"mode": "100644"
},
{
"path": "repair-v2/HELPER-FREEZE-v2.json",
"bytes": 1072,
"sha256": "5176450e87784a927509d11995136480344e44eb70468b57e4dd0ff7796f8bbe",
"git_blob": "333d6d42c2b46bfef3aa380d52f7a950ce7861bd",
"mode": "100644"
},
{
"path": "repair-v2/helper-v1-to-v2.diff",
"bytes": 1704,
"sha256": "d2fffc2943e064cddb4b20a60870ed7b19f6e5beb5eeb70047899d39cea74074",
"git_blob": "a8a6ffa4d5d4c7a850fcff820c84bf10480e5104",
"mode": "100644"
},
{
"path": "repair-v2/passive_image_candidates_v2.py",
"bytes": 11809,
"sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53",
"git_blob": "2aba58de0f18e79d39efd8e379af206e882f37e4",
"mode": "100644"
},
{
"path": "reviews/controls-execution/FREEZE-v1.json",
"bytes": 1346,
"sha256": "4c8ad18286ecefd537a25fceb8d77c4150f198947509b7880b8abaed94c62697",
"git_blob": "d7e9cebd386156ad6a2e5d73373d4c03c002b6aa",
"mode": "100644"
},
{
"path": "reviews/controls-execution/FREEZE-v2.json",
"bytes": 1870,
"sha256": "3d9acc63ac7634427d599dbf7c4595d12d90bef07d23890a5bfb2cacaa8fffdc",
"git_blob": "c19bdf648517ccee0cc72076ba2200133cb6d79e",
"mode": "100644"
},
{
"path": "reviews/controls-execution/REVIEW-v1.json",
"bytes": 11502,
"sha256": "d442c788d7ce91a853cb50a0152364799abedc4191d0277aa4675efdb7a2481d",
"git_blob": "e2ca0617095e9855312ebc365c49daa2528db174",
"mode": "100644"
},
{
"path": "reviews/controls-execution/REVIEW-v1.md",
"bytes": 2788,
"sha256": "eb1e7671d2dd0c2348974a27223a98bb27f15ecc5ae5a5f26cd0b4ea362d3a87",
"git_blob": "d0debfededcccf32e4dc4a3daf7bf62fb3fa9943",
"mode": "100644"
},
{
"path": "reviews/controls-execution/REVIEW-v2.json",
"bytes": 12186,
"sha256": "a7bb90acc80f519af72abd87993c31c0b2c3a938d0a6e29508daee7c589520d7",
"git_blob": "c1309928d741c50a1ab5efba867f855a2d29797b",
"mode": "100644"
},
{
"path": "reviews/controls-execution/REVIEW-v2.md",
"bytes": 3083,
"sha256": "5c1d722fe07d5f48496aeefdaecebcb1970ca1b6aab2dcd1e45cceff902e940f",
"git_blob": "f6612257a4b8dd447fc9187c714de66de7670695",
"mode": "100644"
},
{
"path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.json",
"bytes": 4251,
"sha256": "6b1b05906144f48c32f4bc6680078726016137e24b9c4be97a4f4efe50307c57",
"git_blob": "0fabcf14c8497407f9af7f241e0d963e0eadea1e",
"mode": "100644"
},
{
"path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.md",
"bytes": 2117,
"sha256": "9bbf41c4181dfd5842c7272222e57b55216b6bd82b9e130a2edbaf8bbc86dc52",
"git_blob": "4efe0992daa31381012bf5ab7f73c101d052bc2d",
"mode": "100644"
},
{
"path": "reviews/guard-blocker/REVIEW-v2.json",
"bytes": 9420,
"sha256": "65a211be0af0ea8ae97c98d7007afbc7a18dce7f5167b191711ed3e03f42c18d",
"git_blob": "c8090ff09075044660f6a3b9e4071b1ba1887b3f",
"mode": "100644"
},
{
"path": "reviews/guard-blocker/REVIEW-v2.md",
"bytes": 3576,
"sha256": "2d9d30c57b380e6f61473b79acc9941d166614496dc5b960183e37e6b29452c4",
"git_blob": "39354e1a49eae8fb75527d577e55bac449193c3d",
"mode": "100644"
},
{
"path": "reviews/initial-source/REVIEW-v1.json",
"bytes": 11328,
"sha256": "db17ad5ea0f5e260746f17649884f37d2bd434831fb5bf99e3bae28e3d7c289c",
"git_blob": "9ddd22dad10c01c1e74806455870854cadf28330",
"mode": "100644"
},
{
"path": "reviews/initial-source/REVIEW-v1.md",
"bytes": 3305,
"sha256": "d7a3286042715a54cfbed23d8ddab794f28bb49b7003962f68e568cba2141bd9",
"git_blob": "8d5757e597a25add1fea9624419e29f9fd16f981",
"mode": "100644"
},
{
"path": "reviews/repaired-source/HELPER-CONTROLS-SOURCE-v1.json",
"bytes": 3252,
"sha256": "cdf88f0eeaff9ca22d9964a086875a43b5e87a0647de41c4b637129acb553f37",
"git_blob": "16b8b2f2f6cd734fb8ea540aedacba0082d3080d",
"mode": "100644"
},
{
"path": "run_export_controls.py",
"bytes": 2212,
"sha256": "63dbbb8666570eaae04bf1238e39f36e714231b1657f0bdbc7655f633f7cd746",
"git_blob": "2b072f84a92a2af0daf8ebe41a5370e09f20807d",
"mode": "100644"
},
{
"path": "verify_integrity.py",
"bytes": 7017,
"sha256": "be5b057228c98479938dcbd4ffe66786168ef95f07e9e0cfb107f8e46b2e4a88",
"git_blob": "19c3705462eebb81dc913e46abc53a7b181a2ef5",
"mode": "100644"
}
]
}
Loading