73eea3e90b
Target Linux-64 ( #137 )
2022-05-03 17:54:55 -07:00
6cc8ea5cd2
Remove Duplicate Binary Filenames From Analysis ( #136 )
...
* dedupe
* remove
* fix
2022-05-03 16:38:56 -07:00
dcedc4e023
Variable Name Bug Fix ( #132 )
...
* catch translation exceptions
* bug fix
* fixes
2022-05-02 16:07:13 -07:00
71c4382f40
Deregister Resources on Translation Exception ( #133 )
...
* bug fix
* edit
2022-05-02 11:35:53 -07:00
f080ad72f2
catch translation exceptions ( #131 )
2022-04-25 11:26:20 -07:00
78d1894217
tweak ( #127 )
2022-04-20 00:01:09 -07:00
fbb2feba50
Add Identifier Descriptions ( #110 )
...
* Adding castclass translation and associated test case.
* Adding missing file from last commit/
* bug fix
* bug fixes
* test refactor
* bug fix
* bug fix
* updateS
* add more descriptions
* fix
* fix
* remove unnecessary
* bug fix
* bug fix
Co-authored-by: Joe Guan <zhgua@microsoft.com>
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2022-04-19 15:37:59 -07:00
c3842d82d1
Preload IDisposable Type Environment Prior to Translation ( #126 )
...
* progress
* latest
* progress
* latest updates
* remove unnecessary
* bug fixes
* updated tenv
* progress
* don't preload tenv in test scenario for space perf issues
* update testrunmanager
2022-04-15 09:46:59 -07:00
f4c072e1c6
Update run_infersharp.sh ( #124 )
2022-04-07 18:47:35 -07:00
a665dfa2e4
Update run_infersharp.sh ( #123 )
2022-04-07 17:15:09 -07:00
e61452843e
Add IDisposable libs to increase resource leak coverage ( #121 )
...
* Add IDisposable libs to increase resource leak coverage
* Move flags to the correct location
* Make filter work correctly
2022-04-06 14:58:36 -07:00
c8778a0b3f
Update run_infersharp.sh ( #119 )
...
* Update run_infersharp.sh
* Update run_infersharp.sh
2022-04-05 15:16:01 -07:00
abe4ebd788
Remove Translation of Methods Without Source Location ( #117 )
...
* progress
* updates
* fix
* test updates
* undo net6.0 change
2022-03-21 15:58:07 -07:00
0b032a836f
Method Operator Handling ( #116 )
...
* progress
* updates
* test updates
* undo net6.0 change
2022-03-21 15:57:55 -07:00
49f8d14083
Update run_infersharp.sh ( #115 )
...
* Update run_infersharp.sh
* Update run_infersharp.sh
2022-03-10 10:53:23 -08:00
2123394c1a
update interprocedural examples ( #114 )
2022-03-08 14:38:45 -08:00
6914801489
Add Variable Names to InferSharp ( #105 )
...
* Adding castclass translation and associated test case.
* Adding missing file from last commit/
* bug fix
* bug fixes
* test refactor
* bug fix
* bug fix
Co-authored-by: Joe Guan <zhgua@microsoft.com>
2022-02-22 18:25:40 -08:00
95a1b4562f
Bug Patch for Casting Exception in ldarg/stloc/ldloc ( #103 )
...
* Adding castclass translation and associated test case.
* Adding missing file from last commit/
* bug fix
* bug fixes
* test refactor
* bug fix
Co-authored-by: Joe Guan <zhgua@microsoft.com>
2022-02-22 13:37:54 -08:00
36f00788fb
New resource leak unit test for ( #113 )
...
* check in new unit test
* mimic scenario in example
* address comments
* followup changes
2022-02-17 12:18:47 -08:00
7943dc2fb3
Adding support for castclass translation. ( #100 )
...
* Adding castclass translation and associated test case.
* Adding missing file from last commit/
* bug fix
* bug fixes
* test refactor
Co-authored-by: Matthew Jin <matjin@microsoft.com>
2022-02-17 11:11:06 -08:00
5b5528724d
Exit when error occur in the run script ( #111 )
2022-02-10 10:11:03 -08:00
11c8a34076
Update TestRunManager.cs ( #107 )
...
* Update TestRunManager.cs
* fix
2022-01-31 10:32:38 -08:00
534ea12f36
Update run_infersharp.sh ( #106 )
2022-01-26 11:36:59 -08:00
f5e30d4251
Consolidate release pipelines ( #104 )
2022-01-20 11:23:01 -08:00
3a0296edcd
Add Infersharp Release build pipeline ( #73 )
...
* Set up CI with Azure Pipelines
[skip ci]
* Restore previous pr pipeline
* Update azure-pipelines-release.yml
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Update azure-pipelines-release.yml for Azure Pipelines
* Combine CICD with signing
* Remove redundant files
* List content
* List
* List
* Use bash directly
* Fix file path
* Change path
* Revert Dockerfile
Co-authored-by: Aaron Chan <aaronchan@microsoft.com>
Co-authored-by: Xin Shi <xinshi@microsoft.com>
Co-authored-by: Matthew Jin <matjin@microsoft.com>
2022-01-19 20:24:51 -08:00
edf94fe6a5
Add binary release CD pipeline ( #102 )
...
* binary release CD pipeline
* Update pipeline name
2022-01-18 13:42:17 -08:00
215cc213e7
Netmodule Support ( #101 )
...
* progress bar
* minor
* fix progress bar update
* edits
* feedback/edits
* minor fixes to progress bar+readme
* readme update
* feedback?
* update from comment
* bug fix
* remove unnecessary
* merge conflict
* remove unnecessary change
* line change
* revert no symbol translation
2022-01-14 16:50:35 -08:00
55d780c501
Update README.md ( #99 )
...
* Update README.md
* Update README.md
* Update README.md
* Update README.md
* Update README.md
2021-12-18 09:20:25 -08:00
4d6c6b5a1e
Update Azure Pipelines instructions to include SARIF ( #98 )
2021-12-06 14:48:49 -08:00
3c27a0c4b6
VSCode README update ( #96 )
...
* progress bar
* minor
* fix progress bar update
* edits
* feedback/edits
* minor fixes to progress bar+readme
* readme update
* feedback?
* update from comment
2021-12-01 14:04:18 -08:00
39a1bd7656
README Update + Progress Bar Text Clarification ( #95 )
...
* progress bar
* minor
* fix progress bar update
* edits
* feedback/edits
* minor fixes to progress bar+readme
* Update README.md
2021-11-29 23:14:46 -08:00
9c9bbc8e60
Add Progress Bar Output Indicators ( #94 )
...
* progress bar
* minor
* fix progress bar update
* edits
* feedback/edits
2021-11-28 18:15:49 -08:00
832dcdb735
Simplify instructions ( #88 )
...
* Simplify WSL instructions
* Update link
* Add direct mode for Docker
* Wording
* Wording
* Add instruction for Docker direct mode
* Add WSL instruction
* Formatting
2021-11-17 17:05:23 -08:00
2b31dcee05
Support path with spaces ( #87 )
...
Co-authored-by: Matthew Jin <matjin@microsoft.com>
2021-11-10 10:19:19 -08:00
af99084e27
Update Azure Pipelines instructions for v1.2 ( #86 )
...
* Update Azure Pipelines instructions for v1.2
* Use .NET 5
* Update README
* Remove extra space
2021-11-10 07:18:03 -08:00
edc16bb09b
Update instructions for 1.2 ( #79 )
...
* Update README.md
* Binaries need to be in Linux file system for WSL
2021-11-02 17:40:40 -07:00
99d986306f
Add optional sarif parameter to be passed into infer ( #78 )
...
Co-authored-by: Aaron Chan <aaronchan@microsoft.com>
2021-11-02 17:59:41 -06:00
7e063eb277
Omit translation errors in logs when not in debug mode ( #77 )
...
* Omit translation errors in logs when not in debug mode
* Keep errors which relate to input files not being found
* Change previous errors logged in translations to be logged as warnings
Co-authored-by: Aaron Chan <aaronchan@microsoft.com>
2021-11-02 16:44:49 -06:00
0fa4434601
Add Debug/Production logging levels ( #76 )
...
* Add basic logging level to separate debug from production console statements
* Fix warning to show as yellow
* Remove echo statement regarding seeing Unable to parse instruction and other warnings, because debug log level will not be set when running using run_infersharp.sh
* Remove echo statement in run_infersharp_ci.sh for same reason
* Combine DebugWriteLine and WriteLine and use optional parameter instead
* Nit: remove trailing spaces and add named parameter
* Simplify debugging to just warnings
* Improve formatting
Co-authored-by: Aaron Chan <aaronchan@microsoft.com>
2021-11-02 12:07:16 -06:00
2c0a707cf9
Exception-Handling Translation Coverage ( #68 )
...
* bug fix
* isinst edits
* bug fix
* pr feedback
* edits
* isinst fix
* throw impl
* fix ret node
* exception updates, partial progress
* edit
* progress
* further progress, pending testing
* bug fixes
* bug fix for loop
* latest progress on bug fixes
* bug fixes
* bug fixes
* latest bug fixes
* bug fix
* throw instruction empty stack bug fix
* test modifications
* test edit
* bug fix
* test typo
* bug fixes
* test updates
* test typo
* typo
* comments
* test edits and comments
* commment updateS
* comment updates
* bug fix
* modifications to loggign
* remove unnecessary code
* remove unnecessary usings
* bug fix
* race support
* typo
* edits
* missed utils
* edits
* remove this dereference hotfix
* bug fix -- treat throw like leave
* remove unnecessary method
* create node for void return
* bug fix for mishandling exceptional translation of finally
* make end finally control flow target part of the snapshot for proper flow
* updated fix to load binop expressiosn directly
* format fix
* suggested edit
* make the check specific to null check
* fix a bug in comparing null
* minor typo fix
* minor adjustment
* remove unnecessary edit
* response to comment
* undo the changes that remove dereferences on this
* Revert "undo the changes that remove dereferences on this"
This reverts commit 32fb5d68c136ef09b2dced2fca5e76014545cc1e56f436f464
2021-10-26 17:31:26 -07:00
1558204c82
Update host image version ( #74 )
2021-10-26 12:32:53 -07:00
61aad6814b
Add commandline options to specify issues to look for ( #71 )
...
Co-authored-by: Aaron Chan <aaronchan@microsoft.com>
2021-10-13 15:33:35 -06:00
9d9059be15
Update README for 1.1 ( #69 )
...
* Update README for 1.1
* Address a comment
2021-09-13 15:35:17 -07:00
5305d2047e
Fix Type-Checking Translation ( #64 )
...
* bug fix
* isinst edits
* bug fix
* pr feedback
* edits
* isinst fix
* stloc fix
Co-authored-by: Xin Shi <xinshi@microsoft.com>
2021-07-30 17:41:13 -07:00
4f69d87f66
Add WSL2 instructions ( #63 )
...
* Add WSL instructions
* Wordings
* Minor tweaks
* Add WSL distro recommendation
* Add link pointing to the release page
* typo
* Wordings
* Add WSL instruction link
* Address comments
* Wordings
* Wording
2021-06-22 22:05:12 -07:00
d47bd897c9
Make execution script path relative ( #66 )
...
* Use relative path
* Add script for Azure Pipelines
* Rename CI script
* Install curl
2021-06-22 10:06:53 -07:00
505cb29bbf
ConstExpression Comparison Issue Fix ( #61 )
...
* bug fix
* bug fix
* pr feedback
Co-authored-by: Xin Shi <xinshi@microsoft.com>
2021-06-01 12:43:58 -07:00
5c9227fbcc
Reorganize Infer# artifacts ( #62 )
...
* Reorganize Infer# artifacts
* Use buster (debian 10) for compatibility
* Point to the Infer repo now that there is a fix for WSL
2021-06-01 11:29:08 -07:00
56ca6acdfa
Fix ReSharper's "UsePatternMatching" ( #60 )
2021-05-20 17:03:33 -07:00
98371c6361
Update README.md ( #56 )
2021-03-16 10:10:56 -07:00
Xin Shi
Matthew Jin
Xiaoyu Liu
Joe Guan
Aaron Chan
Matthew Jin
Martin