dido:public:ra:1.2_views:3_taxonomic:4_data_tax:10_errors:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
dido:public:ra:1.2_views:3_taxonomic:4_data_tax:10_errors:start [2022/02/04 11:44] nick [DIDO Specifics] |
dido:public:ra:1.2_views:3_taxonomic:4_data_tax:10_errors:start [2022/03/16 15:55] (current) char |
||
|---|---|---|---|
| Line 39: | Line 39: | ||
| [[dido:public:ra:1.2_views:3_taxonomic:4_data_tax:10_errors:start | Return to Top]] | [[dido:public:ra:1.2_views:3_taxonomic:4_data_tax:10_errors:start | Return to Top]] | ||
| - | Solidity Syntax errors are detected within [[dido:public:ra:xapend:xapend.a_glossary:s:syntax_highlighting]] the [[dido:public:ra:xapend:xapend.b_stds:defact:ethereum:remix]] or other [[dido:public:ra:xapend:xapend.a_glossary:i:ide | Integrated Development Environments (IDEs) ]] such as [[dido:public:ra:xapend:xapend.b_stds:defact:microsoft:visual_studio_code]] with the Solidity [[dido:public:ra:xapend:xapend.a_glossary:p:plug_in]]. | + | Solidity Syntax errors are detected within [[dido:public:ra:xapend:xapend.a_glossary:s:syntax_highlighting]] the [[dido:public:ra:xapend:xapend.b_stds:defact:ethereum:remix:start]] or other [[dido:public:ra:xapend:xapend.a_glossary:i:ide | Integrated Development Environments (IDEs) ]] such as [[dido:public:ra:xapend:xapend.b_stds:defact:microsoft:visual_studio_code]] with the Solidity [[dido:public:ra:xapend:xapend.a_glossary:p:plug_in]]. |
| A very important aspect of **Syntax Errors** caught within the IDE is that these errors are NOT caught on the blockchain, but rather just inside the IDE. This means there is no expenditure of Gas to catch these errors. | A very important aspect of **Syntax Errors** caught within the IDE is that these errors are NOT caught on the blockchain, but rather just inside the IDE. This means there is no expenditure of Gas to catch these errors. | ||
| Line 192: | Line 192: | ||
| Logic Errors are the hardest to fix becuase there are no tools that can examine a Smart Contract and find the Logic Errors. There are efforts underway at Ethereum called the [[https://github.com/leonardoalt/ethereum_formal_verification_overview | Ethereum Formal Verification]]. | Logic Errors are the hardest to fix becuase there are no tools that can examine a Smart Contract and find the Logic Errors. There are efforts underway at Ethereum called the [[https://github.com/leonardoalt/ethereum_formal_verification_overview | Ethereum Formal Verification]]. | ||
| - | The Solidity [[dido:public:ra:xapend:xapend.b_stds:defact:ethereum:remix | Remix Project]] [[dido:public:ra:xapend:xapend.a_glossary:i:ide]] has a [[dido:public:ra:xapend:xapend.a_glossary:p:plug_in]] for [[dido:public:ra:xapend:xapend.a_glossary:s:static_code_analysis] called the **Remix-analyzer**. | + | The Solidity [[dido:public:ra:xapend:xapend.b_stds:defact:ethereum:remix:start| Remix Project]] [[dido:public:ra:xapend:xapend.a_glossary:i:ide]] has a [[dido:public:ra:xapend:xapend.a_glossary:p:plug_in]] for [[dido:public:ra:xapend:xapend.a_glossary:s:static_code_analysis]] called the **Remix-analyzer**. |
| **remix-analyzer** is the library which works underneath of **Remix-IDE Solidity Static Analysis** plugin. | **remix-analyzer** is the library which works underneath of **Remix-IDE Solidity Static Analysis** plugin. | ||
| - | remix-analyzer is an NPM package. It can be used as a library in a solution supporting node.js. Find more information about this type of usage in the remix-analyzer repository | + | remix-analyzer is an NPM package. It can be used as a library in a solution supporting [[dido:public:ra:xapend:xapend.a_glossary:n:nodejs]]. Find more information about this type of usage in the remix-analyzer repository |
| Line 502: | Line 502: | ||
| + | <color darkred><todo @char>Review </todo></color> | ||
dido/public/ra/1.2_views/3_taxonomic/4_data_tax/10_errors/start.1643993075.txt.gz · Last modified: 2022/02/04 11:44 by nick
