36 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
jorgectf	e1d6c7dac4	Add some steps	2024-02-21 15:29:27 +01:00
jorgectf	29b3d6c9ef	Prefix sources with output.	2024-02-13 15:00:53 +01:00
jorgectf	6627a858e3	Suffix with .model	2024-02-13 13:24:25 +01:00
jorgectf	fa91837f63	Trim yaml	2024-02-13 13:22:18 +01:00
jorgectf	68901e252c	Add some changed-files sources	2024-02-13 13:18:52 +01:00
Alvaro Muñoz	32b1d77b4a	Merge pull request #7 from GitHubSecurityLab/input_output_nodes ... Better handling of input and output expressions	2024-02-13 11:52:10 +01:00
Alvaro Muñoz	271c512f4d	better identification of Composite Actions input and output nodes	2024-02-13 11:40:22 +01:00
Alvaro Muñoz	cc3f2eed68	add characteristic predicates to InputExpr and OutputExpr	2024-02-13 11:24:16 +01:00
Alvaro Muñoz	3c5358c381	Merge pull request #6 from GitHubSecurityLab/composite_actions ... feat: support for composite action's analysis	2024-02-12 22:57:31 +01:00
Alvaro Muñoz	e9707af38d	feat: support for composite action's analysis	2024-02-12 22:55:58 +01:00
Alvaro Muñoz	9030cb3df4	Merge pull request #5 from GitHubSecurityLab/env_context ... Implement support for env context	2024-02-12 15:48:37 +01:00
Alvaro Muñoz	99358c62e2	Extend CFG to reach env expressions	2024-02-12 15:47:27 +01:00
Alvaro Muñoz	70d1741177	Merge pull request #4 from GitHubSecurityLab/improve_mad ... Refactor MaD semantics	2024-02-12 15:46:50 +01:00
Alvaro Muñoz	4b57cee300	Initial implementaion of env context support	2024-02-12 15:14:47 +01:00
Alvaro Muñoz	4f0b66ea03	Refactor MaD semantics	2024-02-12 13:47:44 +01:00
Alvaro Muñoz	f2fc411d6b	Merge pull request #3 from GitHubSecurityLab/extensible_predicates ... Add support for external definitions	2024-02-09 22:59:23 +01:00
Alvaro Muñoz	2eaca7e826	Add support for external definitions	2024-02-09 22:55:10 +01:00
Alvaro Muñoz	e9c1114f98	Merge pull request #2 from GitHubSecurityLab/refactor_cfgscope ... Refactor CfgScopes and Ast predicate names	2024-02-09 13:48:29 +01:00
Alvaro Muñoz	b54316fc9a	Refactor CfgScopes and Ast predicate names	2024-02-09 13:35:47 +01:00
Alvaro Muñoz	9c6fd20e5e	Move reusable tests to src pack	2024-02-09 12:29:48 +01:00
Alvaro Muñoz	96e41bb043	Merge pull request #1 from GitHubSecurityLab/reusable_workflows ... Add support for Reusable workflows	2024-02-09 12:28:17 +01:00
Alvaro Muñoz	3152ed71ba	dataflow through reusable workflows	2024-02-09 11:57:47 +01:00
Alvaro Muñoz	9659098ab6	Support for Reusable workflows	2024-02-08 15:40:06 +01:00
Alvaro Muñoz	db413361f7	Add Reusable Workflow test	2024-02-08 15:11:39 +01:00
Alvaro Muñoz	5006ffe203	Use the LibYaml default AST hierarchy	2024-02-08 12:01:41 +01:00
Alvaro Muñoz	83ca36bc76	Support RunExpr's env vars	2024-02-08 11:56:55 +01:00
Alvaro Muñoz	1708e0f19d	Move tests files to .github/workflows	2024-02-08 11:55:21 +01:00
Alvaro Muñoz	da2ac2af03	Process only .github/workflows yaml files	2024-02-08 11:52:14 +01:00
Alvaro Muñoz	0398fbd0d7	Refactor AST layer	2024-02-05 18:04:37 +01:00
Alvaro Muñoz	b3eae71f95	fix test	2024-02-05 13:30:46 +01:00
Alvaro Muñoz	3902a55fbb	Update build test db script	2024-02-05 10:52:17 +01:00
Alvaro Muñoz	b57e6b41a3	Add testproj to gitignore	2024-02-05 10:48:53 +01:00
Alvaro Muñoz	093b1a2211	Remove test dbs	2024-02-05 10:45:52 +01:00
Alvaro Muñoz	355ccf42ee	Do not compress local flow steps ... Use `neverSkipPathGrap` to `any()` so no local flow steps get pruned and thrown away in order to compress the presented dataflow path.	2024-02-05 10:44:37 +01:00
Alvaro Muñoz	45d959d13f	Initial implementation	2024-02-05 09:26:11 +01:00
Alvaro Muñoz	70a7bb1f75	Add .gitignore	2024-02-05 09:25:33 +01:00