Giters
google-research
/
raksha
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
32
Watchers:
9
Issues:
209
Forks:
14
google-research/raksha Issues
Security Policy violation Binary Artifacts
Closed
2 years ago
Comments count
1
Move missing auth logic rust implementations to C++ for compatibility with transparent release
Closed
2 years ago
Comments count
5
Support floats in the IR parser
Closed
2 years ago
Comments count
4
Cleanup AuthLogic.g4
Closed
2 years ago
Comments count
2
Make tests comparing AST auth logic trees use `operator==` rather than equality of debug prints.
Closed
2 years ago
Comments count
1
Build issues
Closed
2 years ago
Comments count
2
ArcsJs support (Tracking issue)
Updated
2 years ago
Comments count
5
Make entry point suitable for running Raksha analysis on a `IrTranslationUnit` from a cross-language call.
Closed
2 years ago
Comments count
4
`souffle_policy_checker` library is linked with many test-only libraries in production.
Closed
2 years ago
Add Universe Relation Population to C++ Impl of Auth Logic
Closed
2 years ago
Create web API for Raksha
Updated
2 years ago
Support Building Binary for Auth Logic Compiler Built from C++ Implementation
Closed
2 years ago
Comments count
7
Build of `dp_policy_verifier_lib` should be refactored to use the `raksha_policy_verifier_library` macro.
Closed
2 years ago
`IRPrinter` consults different `SsaNames` maps for `Operation` results and inputs, causing temporary numbering to not cohere.
Closed
2 years ago
Comments count
1
Port PR #593 from Rust Impl of Auth Logic to C++ Impl
Closed
2 years ago
Comments count
1
`datalog_policy_verifier` library is used for too many things.
Updated
2 years ago
Write Tests for the ToString methods in auth_logic/ast.h and datalog/program.h
Updated
2 years ago
Comments count
1
Add tests for ArcsJs declassification via user action
Closed
2 years ago
Comments count
1
ArcsJs Check that downgrade intent is correctly associated with downgrade tags and data
Updated
2 years ago
ArcsJs Support delegation of user input / action
Updated
2 years ago
Port/Replicate auth_logic tests in rust to C++
Updated
2 years ago
Change the way string is copied to char * in functors
Closed
2 years ago
Add tests and support for enforcing non-aggregation in ArcsJs
Updated
2 years ago
Add tests and support for ArcsJs output slicing
Updated
2 years ago
Add tests and support for ArcsJs opaque data and confidentiality tags
Updated
2 years ago
Add tests and support for ArcsJs opaque data and integrity tags
Updated
2 years ago
Add tests for ArcsJs declassification via appropriately trusted particles
Updated
2 years ago
Make AST node for IDs (Principal names / predicate argument names)
Updated
2 years ago
Make separate AST node for Rvalues with distinct sub-nodes for predicates and numeric comparisons
Updated
2 years ago
Support for Comparisons on Numbers in C++ Implementation of Auth Logic
Closed
2 years ago
Comments count
3
Improve auth_logic_ast_traversing_visitor_test.h
Updated
2 years ago
Catch when Souffle "helpfully" continues with malformed input in tests.
Updated
2 years ago
Generalize or import `sql.*` operators into appropriate namespaces (e.g. `arcsjs.*`)
Updated
2 years ago
Change ArcsJs DEFAULT_ARCSJS_OWNER to arcsjs
Updated
2 years ago
At least one sensitivity analysis unit test has a malformed input.
Closed
2 years ago
Clean up uses of SsaNames in the code base
Updated
2 years ago
Comments count
4
Replace usage of variants in `auth_logic/ast.h` with subclasses
Updated
2 years ago
Make an Abstract Class for Ast Node to Support Generic Helper Function in Visitor
Updated
2 years ago
Add Separate Nodes for Predicate and RelationDeclaration to auth_logic/ast.h
Updated
2 years ago
Cleanup copybara for authorization_logic
Updated
2 years ago
Comments count
1
Moving to rules_foreign_cc v0.8.0 breaks MacOS build.
Updated
2 years ago
Comments count
2
Explore SMT solver as an optional tool in the Raksha toolbox.
Updated
2 years ago
Comments count
2
Feature request: OperationBuilder and ModuleBuilder
Updated
2 years ago
IR to Proto conversions are lossy
Updated
2 years ago
Static failure for IRTraversingVisitor with no default constructed value
Updated
2 years ago
Update to Souffle v2.3.
Closed
2 years ago
Comments count
2
The test //src/frontends/arcs/xform_to_datalog tests may be nondeterministic.
Updated
2 years ago
Comments count
1
`souffle` genrule name conflicts with filename.
Closed
2 years ago
`souffle_interface.rs` reports dead code on clean builds.
Closed
2 years ago
Comments count
1
IR Parser should support defining operations and blocks regardless of use order
Updated
2 years ago
Comments count
2
Previous
Next