Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / google-research/raksha issues and pull requests

#100 - Add type information and GetAccessPaths to HandleConnectionSpec.

Pull Request - State: closed - Opened by markww over 3 years ago

#97 - Put HandleConnectionSpec in namespace starting with "raksha", not "src".

Pull Request - State: closed - Opened by markww over 3 years ago

#96 - Add TagCheck class and add class for sharing code btw Claim and Check.

Pull Request - State: closed - Opened by markww over 3 years ago - 3 comments

#95 - Add TagClaim class; add structured representation of AccessPathRoot.

Pull Request - State: closed - Opened by markww over 3 years ago - 2 comments

#94 - Add methods for sending AccessPathSelectors to and from AccessPathProto.

Pull Request - State: closed - Opened by markww over 3 years ago

#93 - Add an Edge class for representing edges in the dataflow graph.

Pull Request - State: closed - Opened by markww over 3 years ago

#92 - Combined Policy Example

Pull Request - State: closed - Opened by aferr over 3 years ago

#91 - Add AccessPath, representing a full path from root to leaf field.

Pull Request - State: closed - Opened by markww over 3 years ago

#90 - Allow translating ir Selectors from/to arcs manifest proto Selectors.

Pull Request - State: closed - Opened by markww over 3 years ago

#89 - Add HandleConnectionSpec class and methods sending it to/from protos.

Pull Request - State: closed - Opened by markww over 3 years ago

#87 - Draft creating types from Manifest protos

Pull Request - State: closed - Opened by markww over 3 years ago - 4 comments

#86 - Add first few Type classes and a GetAccessPaths in each.

Pull Request - State: closed - Opened by markww over 3 years ago

#85 - Create libraries hiding and grouping external absl dependencies.

Issue - State: closed - Opened by markww over 3 years ago - 1 comment

#84 - Alter AccessPathSelectors to allow an empty AccessPathSelectors object.

Pull Request - State: closed - Opened by markww over 3 years ago

#83 - Move AccessPathSelectors factory CreateFromString to class, allow empty.

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#82 - Add glog, the Google logger, to Raksha.

Pull Request - State: closed - Opened by markww over 3 years ago

#80 - Create an E2E example using arcs manifest and authorization language

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#79 - Add vscode and clion metdata directories to .gitignore.

Pull Request - State: closed - Opened by markww over 3 years ago

#78 - Create a script to combine datalog rules authorization logic and the manifest

Issue - State: closed - Opened by bgogul over 3 years ago
Labels: authorization logic

#76 - Add support for check in datalog generation from manifest.proto

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#75 - Add support for claim in datalog generation from manifest proto

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#73 - Create AccessPath utils for enumerating all access paths of a type.

Issue - State: closed - Opened by bgogul over 3 years ago - 2 comments

#72 - Implement C++ representation of the Primitive types and EntityType in TypeProto

Issue - State: closed - Opened by bgogul over 3 years ago - 4 comments

#71 - Deserialize manifest protos

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#70 - Add SelectorAccessPathSet for building SelectorAccessPaths bottom up.

Pull Request - State: closed - Opened by markww over 3 years ago

#69 - Add Abseil (and dependency rules_cc) to raksha; Format with buildifier.

Pull Request - State: closed - Opened by markww over 3 years ago

#67 - Use the .bazelrc to specify C++17 throughout raksha.

Pull Request - State: closed - Opened by markww over 3 years ago

#66 - Fix #63 by replacing deps with protos in cc_proto_library.

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#65 - Fix issue where souffle parser/lexer files would not be found.

Pull Request - State: closed - Opened by markww over 3 years ago

#64 - Reduce code duplication in arcs tests

Issue - State: closed - Opened by bgogul over 3 years ago - 2 comments

#62 - Initial commit of Arcs manifest tests from original Arcs repo.

Pull Request - State: closed - Opened by markww over 3 years ago

#61 - manifest2proto cannot parse some test files from the original Arcs repo.

Issue - State: closed - Opened by markww over 3 years ago - 1 comment

#60 - Fix import paths in the proto files and update CI.

Pull Request - State: closed - Opened by bgogul over 3 years ago - 1 comment

#59 - Reorganize datalog files for easier management and testing.

Pull Request - State: closed - Opened by bgogul over 3 years ago

#58 - Create C++ data structures to represent the IR

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#57 - Test 2 commit.

Pull Request - State: closed - Opened by bgogul over 3 years ago - 1 comment

#56 - Test1 commit.

Pull Request - State: closed - Opened by bgogul over 3 years ago - 1 comment

#55 - Remove test_suite targets and format BUILD files.

Pull Request - State: closed - Opened by bgogul over 3 years ago

#54 - Import gtest into workspace.

Pull Request - State: closed - Opened by bgogul over 3 years ago

#53 - Make github workflow run all tests under 'src/...'.

Pull Request - State: closed - Opened by bgogul over 3 years ago - 1 comment

#52 - Tighten up member rule by requiring base to start at index 0 of member.

Pull Request - State: closed - Opened by markww over 3 years ago

#51 - Low Graph IR in C++ and Souffle Translation

Pull Request - State: closed - Opened by aferr over 3 years ago - 1 comment

#49 - Imports the Arcs manifest parser into third_party/arcs

Pull Request - State: closed - Opened by bgogul over 3 years ago

#48 - Setup Kokoro/GCB for CI Testing

Issue - State: closed - Opened by bgogul over 3 years ago - 3 comments

#46 - Ensure that each TEST_CASE must be provided a unique name.

Pull Request - State: closed - Opened by markww over 3 years ago

#45 - Split the Tag domain into Privacy, Integrity, and Claimed tags.

Pull Request - State: closed - Opened by markww over 3 years ago - 2 comments

#44 - Support Downgrades Operating on Labels

Pull Request - State: closed - Opened by aferr over 3 years ago - 2 comments

#43 - Includes in dl files should not use relative paths

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#42 - Port the fail_check_on_subpaths Arcs test as a facts test.

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#41 - Rename trusted tags2

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#40 - Rename trusted tags

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#39 - Suppress warnings when building Souffle.

Pull Request - State: closed - Opened by markww over 3 years ago

#38 - Set up simple CI for testing Raksha on PR

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#37 - Rewrite the test infrastructure to rely on a new TEST_RULE macro.

Pull Request - State: closed - Opened by markww over 3 years ago

#36 - Switch testPasses -> testFails; allow multiple testFails rules.

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#35 - Turn off warnings when compiling Souffle-generated C++.

Pull Request - State: closed - Opened by markww over 3 years ago

#33 - Implement IFC + auth logic for downgrading

Pull Request - State: closed - Opened by aferr over 3 years ago - 8 comments

#32 - Add simple dataflow analysis and test harness for testing.

Pull Request - State: closed - Opened by markww over 3 years ago - 3 comments

#31 - Convert IR to datalog relations

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#30 - Implement auth logic + taint_tracking in datalog

Issue - State: closed - Opened by bgogul over 3 years ago

#29 - Convert taint.dl to be more header-like.

Pull Request - State: closed - Opened by markww over 3 years ago - 2 comments

#28 - Fix a syntax error on license notice in build_defs/BUILD.

Pull Request - State: closed - Opened by markww over 3 years ago

#27 - Add bazel generated files and Vim swap files to .gitignore

Pull Request - State: closed - Opened by markww over 3 years ago

#26 - Implement mediapipe frontend

Issue - State: open - Opened by bgogul over 3 years ago

#25 - Implement taint analysis in datalog

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#24 - Import google/mediapipe to third_party

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#23 - Import Arcs manifest2proto tool for parsing .arcs files.

Issue - State: closed - Opened by bgogul over 3 years ago - 2 comments

#22 - Starlark test harness

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#21 - Add a C++ unit test library to test souffle programs using C++ interface.

Issue - State: closed - Opened by bgogul over 3 years ago - 1 comment

#19 - Adds a souffle_cc_library rule.

Pull Request - State: closed - Opened by bgogul over 3 years ago

#18 - Make taint.dl more header-like, add a very simple tag checker analysis in Datalog

Pull Request - State: closed - Opened by markww over 3 years ago - 3 comments

#17 - [Authorization Logic] Move Integration Tests Into a Tests Directory

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#16 - First draft of simplified Manifest fact structures.

Pull Request - State: closed - Opened by markww over 3 years ago - 1 comment

#15 - [Authorization Logic] Interface with Souffle Using C++ Library rather than Souffle Code

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#14 - [Authorization Logic] Move Antlr Generation Directory out of Source Tree

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#13 - [Authorization Logic] Continuous Integration

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#12 - [Authorization Logic] Revocation

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#11 - [Authorization Logic] Provide an Interpreter Mode

Issue - State: open - Opened by aferr over 3 years ago
Labels: authorization logic

#10 - [Authorization Logic] Add Features Related to Understanding Decisions

Issue - State: open - Opened by aferr over 3 years ago
Labels: authorization logic

#9 - Add some basic datalog relations for taint tracking.

Pull Request - State: closed - Opened by bgogul over 3 years ago

#8 - [Authorization Logic] Look Into StructOpt for command line args

Issue - State: closed - Opened by aferr over 3 years ago - 2 comments
Labels: authorization logic

#7 - [Authorization Logic] Make comments that generate documentation

Issue - State: closed - Opened by aferr over 3 years ago
Labels: authorization logic

#6 - [Authorization Logic] Write realistic examples.

Issue - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic

#5 - Prototyping a conventional IFC labelcheck

Pull Request - State: closed - Opened by aferr over 3 years ago

#4 - Add souffle as a third_party library.

Pull Request - State: closed - Opened by bgogul over 3 years ago - 3 comments

#3 - Some exploration of taint analysis with Souffle

Pull Request - State: closed - Opened by bgogul over 3 years ago - 1 comment

#2 - Datalog prototyping

Pull Request - State: closed - Opened by aferr over 3 years ago - 1 comment

#1 - Add Authorization Logic

Pull Request - State: closed - Opened by aferr over 3 years ago - 1 comment
Labels: authorization logic