相关文章
1、sql server数据库进行sql注入
靶机取自：墨者sql server
1、判断数据库类型
抓包知sql server，所以注入语句跟MySQL有些区别
2、判断注入点
“http://219.153.49.228:42514/new_list.asp?id2 ”，当id2 and 11时显示正确，id2 and 12时页面报错。
3、确定列…
建站知识
2024/11/21 4:12:08
程序验证之Dafny--证明霍尔逻辑的半自动化利器
一、What is Dafny?【来自官网介绍 Dafny 】
1)介绍
Dafny 是一种支持验证的编程语言，配备了一个静态程序验证器。
通过将复杂的自动推理与熟悉的编程习语和工具相结合，使开发者能够编写可证明正确的代码（相对于 {P}Ｓ{Q} 这种…
建站知识
2024/11/21 4:12:07
基于SpringBoot的竹宣非遗宣传网站
摘要
随着互联网的普及和数字化时代的到来，竹编等非物质文化遗产的保护与传承面临新的机遇和挑战。该研究旨在使用SpringBoot后端框架与Vue前端框架，构建一个竹编非遗宣传网站，通过丰富的展示形式和交互体验，提升公众对竹编这一非…
建站知识
2024/11/21 4:12:05
C语言从头学06——变量
变量可以理解为是一块内存的名字。通过名字可以获取、改变里面存储的值。由于值是变化的，所以称为变量。 1、变量名 变量名不能随意起。变量名只能由字母（包括大写和小写）、数字和下划线（ _ ）组成，而…
建站知识
2024/11/21 4:12:04
openssl 生成证书步骤
本地测试RSA非对称加密功能时，需要用到签名证书。本文记录作者使用openssl本地生成证书的步骤，并没有深入研究openssl，难免会有错误，欢迎指出！！！ 生成证书标准流程：
1、生成私钥&am…
建站知识
2024/11/21 4:12:02
Python3 笔记：Python的函数
函数是编写好的，可重复调用的，用来实现某一功能的一段代码。
也可以理解为做某事的方法和步骤。第一次做的时候写好了方法，下次同类型的事直接拿来就用。
Python 内部有很多功能强大的内置函数供我们使用，除此之外，你…
建站知识
2024/11/21 4:12:01
一个用Kotlin编写简易的串行任务调度器
引言
由于项目中有处理大量后台任务并且串行执行的需求，特意写了一个简易的任务调度器，方便监控每个任务执行和异常情况，任务之间互不影响。正如上所述，Kotlin中的TaskScheduler类提供了一个强大的解决方案，用于使用S…
建站知识
2024/11/21 4:12:00
ROS学习笔记（15）小车巡墙驾驶
0.前提
前一章我讲解了拉氏变换和PID，这一章我来讲解一下小车巡墙驾驶的理论和部分代码。 1.前情回顾
1.拉氏变换 拉普拉斯变换是要将时域问题转换成频域问题来处理。
2.PID控制器
转向角：
误差牺牲： 3.具体参看上一篇文章
2.巡墙驾驶…
建站知识
2024/11/21 4:08:54
