microsoft
/
rudder
зеркало из https://github.com/microsoft/rudder.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
363 коммитов 17 Ветки 0 Теги 986 KiB
Граф коммитов

363 Коммитов

Автор SHA1 Сообщение Дата
garbervetsky 68922463c9
Merge pull request #6 from microsoft/users/GitHubPolicyService/7eba7bd0-fb38-4844-a627-86ac9cb35b05 
Adding Microsoft SECURITY.MD
 2022-09-23 11:22:59 -03:00
microsoft-github-policy-service[bot] ac1b83555b
Microsoft mandatory file 2022-09-22 23:54:51 +00:00
garbervetsky 70cfe6c0d1 Bug minor bugs and leave one possible bug untouched (check for comment in IteratorAnalysis line 2522) 2018-08-08 19:00:19 -07:00
Diego Garbervetsky 0462b823fd update README.md to use analysis-net as submodule 2018-07-18 19:06:18 -03:00
Diego Garbervetsky 0749038665 update readme 2018-07-18 18:48:03 -03:00
Diego Garbervetsky c466ac0654 Merge branch 'master' into Refactor 2018-07-18 18:32:00 -03:00
Diego Garbervetsky e2d0be699d add submodule 2018-07-18 18:17:38 -03:00
Diego Garbervetsky f04f720446 Fix helper function checking for result == TOP. 
Minimal adaptation to a change in the constructor of the Type Inference in analysis/net framework
 2018-07-18 18:10:03 -03:00
Diego 5d30462478 Micro fix for Demo 2018-02-15 17:46:22 -08:00
Mike Barnett 3071570e5a Bug fix. 2018-02-15 15:46:02 -08:00
Diego 064f3f80b3 More convervative treatment with arrays 2018-02-15 14:53:20 -08:00
Diego b5bfb0255e Merge branch 'Refactor' of https://github.com/Microsoft/rudder into Refactor 2018-02-15 14:15:46 -08:00
Diego f13756a390 Remove declarations in Sarif output. 
Add cmd line arg for demo
 2018-02-15 14:15:42 -08:00
Mike Barnett 740de89ae0 Smal fixes. 2018-02-15 13:38:02 -08:00
Diego d74a4b6a0b Serialize analysis result to a text file using a custom format. 2018-02-14 15:41:12 -08:00
Mike Barnett 0549d5325b Changes needed to experiment with calling from the Scope compiler. 2018-02-14 13:34:54 -08:00
Diego f12725116e Just refector to put the serialization of the results in another file 2018-02-14 09:42:18 -08:00
Diego 992d3668f0 Add support to analyze one Processor out of a DLL and serialize the obtained dependencies. 2018-02-13 17:54:54 -08:00
Diego 594eb78d28 Playing with PTA to try to give better support (i.e., more precise) for dictionaries 2018-02-13 17:47:06 -08:00
Diego 1a30ed686b 1) Add support for Json Select Token 
2) Fix a bug that PTG was not updated properly. The PTA uses the right PTG but the dependency analysis used one that was not in sync with that PTG. Also fixed the interproc to update the PTG in the PTA visitor
 2018-02-12 19:47:42 -08:00
Diego 41c17e921e Several changes a rollback... 
0) I discover name clashing in the PT analysis. One option was to add context to each variable and field in the PTA and dependency analysis. I rolled back and added ImethodDefinition to all variables to get better context.  For these reason I need to add a method evry time the analysis creates a variable (e.g, return value).  Need to also update the analysis-net fork.
1) Improve support for Json. Now partially  understands access to deserialized dictionaries
2) Some minor fixes and refactors
 2018-02-10 18:37:51 -08:00
Diego 8d1bb842e1 Add support for a couple of more Json methods. 
I also commented the filter in order to analyzed also Compiler Generated methods.
 2018-02-08 17:31:06 -08:00
Diego 848fdd4a80 partial support for Json Fields in collections. 2018-02-08 11:11:19 -08:00
Diego 18ef640f8d Initial support to analyze compiler generated processors. We handle properties of type ColumnData in Row subclasses as columns. 2018-02-07 17:36:25 -08:00
Diego 33f9588f7a Add Range analysis to the static constructor to get the static fields of the Scope Processor 2018-02-07 17:31:38 -08:00
Diego df6a42de37 Add support for static fields in RangeAnalysis 2018-02-07 17:30:18 -08:00
Diego 0089f0420c Put a limit in the number of iterations in the fix point (a sort of wideniing). Now we only give top if it does not get traceables after a minimun number of iterations (need to check) 
Add support for a couple of more Json methods.
 2018-02-07 14:29:09 -08:00
Diego d871ca4410 More Progress on Json support. 2018-02-06 20:11:31 -08:00
Diego 14dbdce955 Small fixes and a hack to allow the analysis to wait for the block to get analyzed when all predessesors where analyzed 2018-02-06 17:28:18 -08:00
Diego 4a33473f37 Forgot to include to previous commit 2018-02-05 11:23:00 -08:00
Diego cfc24bef6d minimal refactoring of JSon support 2018-01-31 18:21:43 -08:00
Diego a8e9e236a7 Some documentation and minimal refactoring 2018-01-30 18:38:48 -08:00
Diego 4098e00add Basic support for JSonObject Parse+getItem and Deserialize + fieldAcess. They are handled similarly as ScopeMaps. 2018-01-29 16:06:41 -08:00
Diego 903ccf79ba Add contant progration for string within the Range Analysis. Modify the interproc analysis to progagate ranges (or string) to callees. 2018-01-27 18:34:08 -08:00
Diego 781847b959 Rename PointsToAnalysis to SimplePointsToAnalysis 2018-01-27 17:12:46 -08:00
Diego 0566a2781c Change the method FullName to GetFullName to avoid conflitcs 2018-01-27 17:11:40 -08:00
Diego a9ffd74121 Preliminary (and rough) support for JsonObjects with hard coded functions 
Minor touches (should be cleaned) to allow debugging.
 2018-01-26 19:18:50 -08:00
Diego 0d9c161526 Fixes in interprocedural analysis: 
- Cache of previously analyzed calls now use callee info instead of the instruction (multiples calls in the same instruction due to lambdas)
- Now propagate information of accumalated inputs and ouputs to callers.

I added some comment for a posible (future) fix of handling of RowLists

Minor: Rename name of PointsToAnalysis
 2018-01-25 17:15:57 -08:00
garbervetsky f106437ee7 Another silly refactor method. I inverted one argument in the call to a constructor. 2018-01-24 17:33:07 -08:00
garbervetsky 2e249a0688 Very silly bug. In the refactor I accidentelly remove the initialization of the variable that contains the name of the method to analyze ("MoveNext") 2018-01-24 16:10:59 -08:00
Diego a2435c8e54 More cleaning, refactoring to move methods to more cohesive classes 2018-01-23 17:37:45 -08:00
Diego 5ebd643e5f Some cleaning on ScopeProgramAnalysis 2018-01-23 15:07:11 -08:00
Diego a3efa0a6d6 Cleaning: removing redundant methods and reorganizing 2018-01-23 11:33:14 -08:00
Diego a91573c6c7 add gitnore 2018-01-23 11:31:35 -08:00
Diego fe0adfd0ed Move some helper methods to Extensions 2018-01-23 09:42:32 -08:00
garbervetsky fea4d87b29 Fix bug in constructor of Dependency Analysis Removing more unneeded parameters from methdos. 2018-01-21 19:47:20 -08:00
garbervetsky 89091fcd4a Cleaning, and passing the ScopeProcessirInfo as parameter in more methods 2018-01-21 18:13:19 -08:00
garbervetsky 6ab6fd87fd Create ScopeProcessorInfo class that contains the info that is used to analyze a processor (processor class, movenext method, input/output schema among others). Trying to reduce the amount of parameters traveling through methods. 
Still needs some polishing
 2018-01-21 14:36:23 -08:00
garbervetsky da1db8c794 Encapsulating SarifLog operations in one class. Needs more work, still using static methods. 2018-01-21 10:28:12 -08:00
garbervetsky 31286d17aa First basic refactoring. Split ScopeProgramAnalysis class from Program class. That is, Program is just a driver to call the ScopeProgramAnalysis class. 2018-01-21 09:48:36 -08:00