repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
side_effects: the iterate_all_kinds() macro has side effects deliberately
2015-03-15
Dan Car
p
ente
r
s
ide_effects: the ite
r
ate_all_
k
inds() macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpe
n
t
er
unreach
a
ble: don'
t
c
o
m
plai
n
about iterate_all_kin
d
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix
"
foo += !bar;
"
ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
an Carpenter
lib
:
handle -funsigned-
c
har option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
kernel
.
ign
o
re_side_effect
s
:
a
dd some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpenter
inde
n
ti
n
g: allow "break; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpe
n
ter
user_data2: mark
sscanf() outp
u
t
a
s
us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carp
e
nter
math,
r
l:
fix handing division
invo
l
vin
g
negative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
sv
a
l:
f
ix sval_binop
_
overf
l
o
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedence: com
p
l
ai
n
ab
o
ut "foo << bar
- baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Ca
r
penter
flow:
h
andle struct
initializa
t
ion
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate
:
ad
d
a NULL
check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
p
a
r
am_used
:
store when a parameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an C
a
rpen
t
er
extra: ignore more
__in_fa
k
e
_
assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
comparison:
fix a crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpente
r
type:
ad
d
an ex
p
r
_s
i
gned
(
) functi
o
n
t
hat matc
h
e
s expr_unsi
g
ne
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
smdb
.
py: add functions
t
o sho
w
functions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
extra:
h
an
d
le temp
o
rary
s
h
orthand pointers
b
et
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
derefe
r
ences_param: look for
p
oi
n
te
r
s us
e
d as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rp
e
nter
c
h
e
ck_indenting:
war
n
about missing curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleare
d
: add
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Da
n
Carpenter
validation
:
corre
c
t
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskine
n
build
:
allo
w
use of PKG_C
O
NF
I
G to override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db
:
bui
l
d ind
e
xes
f
aster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
ar
p
ent
e
r
slist
:
fix compile breaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
ter
k
e
rnel_printf: si
l
ence some false
p
osi
t
i
v
e
s
u
s
i
n
g smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
st
r
i
n
gs
:
r
e
cord which st
r
ings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
user_data2: turn on
s
k
b
-
>
data
tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rename FILTER
_
VALUE, LIMIT
E
D_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
r
penter
kernel
_
printf: silen
c
e some "str
u
ct sockaddr "
f
alse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
t
y
pe: add union
s
to type_t
o
_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpenter
type_value: spe
e
d up l
o
ading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* return_cast: complain about
r
eturn -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format
_
string: delete this because check_kernel_prin
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpente
r
f
unction_hooks: add some d
e
b
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
rpenter
e
xtra: cleanup db_param_
a
dd_se
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ex
t
ra: separate PARAM_LIM
I
T and PA
R
AM_FI
L
TER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: don't take a shortcut fo
r
"
n
e
e
dles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
helper: introduc
e
all
o
c
_state_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math:
h
a
nd
l
e "if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
penter
mat
h
: fix/c
l
e
anup
d
o_com
p
arison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capp
e
d: don't
r
e
c
o
rd si
n
gle
v
alu
e
s as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
e
r
db: export
g
e
t
_stat
i
c_fi
l
ter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
arpenter
use
r
_
d
ata2
:
wro
n
g parameter tag
g
ed as us
e
r data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
rosenberg: delete some
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nber
g
:
stri
p
away some casting (eliminates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arp
e
nte
r
r
o
senberg: don't sav
e
unneede
d
state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size: don't save us
e
less inform
a
tion in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
struct_assignment: ignor
e
more fake assign
m
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
slist: fix debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
param_cleare
d
, ros
e
n
b
erg:
a
dd un
d
erscored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
param_fi
l
ter/s
e
t: don't record fake a
s
signme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
arpenter
slis
t
, debugg
i
ng: don't
print ->poss
i
ble list
i
f there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
ty
p
e_
v
al: add m
o
re stu
f
f
to igno
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
db/reload_p
a
rti
a
l
.
s
h: change d
a
tabase info for
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Si
l
van Jege
n
Do
c
ument
a
tion fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
arpenter
k
ern
e
l
_
printf: put lots of
single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
arpe
n
ter
M
e
rge branc
h
'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kerne
l
_printf
.
c: Allow c
o
nst char[]
f
o
r
mat arguments
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villem
o
es
check_k
e
rne
l
_printf
.
c
: Hand
l
e 'f
m
t
?
: "
d
ef
a
ult"
'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_ke
r
nel_pr
i
ntf
.
c:
S
implify recur
s
ive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
check_kernel_p
r
intf
.
c
:
Simplify recur
s
ive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
e
n
ter
kernel_pr
i
nt
f
:
allow '
\
b' if it's the f
i
rst character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
valid
a
tion/sm_ros
e
nberg
.
c: don't pass an unin
i
tializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpe
n
ter
kernel_printf: add
some mo
r
e quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Car
p
ent
e
r
kernel_pr
i
ntf: mov
e
a war
n
ing under the --sp
a
mmy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
kernel_p
r
intf: add some quotes around
t
he functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
p
en
t
er
kern
e
_printf
:
'%p
b
' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
check_kern
e
l_pr
i
ntf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Vill
e
m
o
e
s
ch
e
ck_kernel_printf
.
c: S
t
rip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_printf
.
c:
H
andle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
s
m
a
t
ch: Check the
k
ernel's
%
p
format ex
t
ensi
o
ns
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illem
o
e
s
s
m
atch
:
Add
-
-enable
o
pt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emo
e
s
smatch
:
Implement --s
h
ow-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatc
h
:
Add du
m
my ele
m
ent to
reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
L
u
c
Van Oostenryc
k
Avoid reuse of stri
n
g buffer when concatening adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wrong_size_arg:
warn about "if (memcmp(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpent
e
r
struct
_
assignment: remove
a
b
lank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpe
n
ter
sval:
h
a
ndle LEFTSHIFT
s
in
sval_bino
p
_overfl
o
ws()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
ter
sval
:
cast th
e
resu
l
t in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpent
e
r
type_val: update to
handle
PA
R
A
M_SET from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
pente
r
t
y
pe
_
val: i
g
nore
k
m
al
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
type_val: ignore
all the "for_each" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carp
e
nter
use
r
_data2: remove some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpente
r
helper: introduce inver
t
_op(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges:
b
rea
k
t
he rang
e
list parsing into a separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpente
r
ranges: prepare to c
h
ange a
string
to an estate instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
modi
f
ication_hooks:
add
PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpente
r
param_cleared:
c
learing a m
e
mber is n
o
t clea
r
ing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpen
t
er
t
ype_
v
al: igno
r
e fake member
a
ssignments from
u
ncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Carpenter
type_valu
e
: list_ent
r
y is safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an C
a
rpenter
db: us
e
saved return estate instead of searc
h
ing the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpen
t
er
debug: introdu
c
e __smatch_known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db, e
x
tra: use PARAM_SET if the para
m
eter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpenter
frees_param:
m
odify means it
'
s
not freed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n
C
a
r
penter
slist: fi
x
"
s
tack not empty
"
er
r
ors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
D
an Carpenter
silence: ad
d
_
_
read_once_size() to k
e
r
n
el
.
silence
d
_fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an
Carpenter
comparison: hand
l
e preops like "if (
+
+a
== b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
flow:
d
on't
i
n
line f
u
nctions which ar
e
o
v
er 20 lines
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
Carpent
e
r
funct
i
on_
p
trs: hand
l
e SYN_NOD
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next